Browsing Interface
Home |  Graph |   ]

KB:  Language: 

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Entity
Entity(entity)كَائِن, Entidade, Entit�, Jim_Crow, Moloch, actuality, adversative_conjunction, aftermath, aim, albatross, allocation, allotment, allowance, antecedent, antitype, apology, appearance, articulation, assets, astitva, bag, balance, bamboo_curtain, barrier, base, be, beginning, being, beingness, bind, bisag_unsa, bit, bourn, bourne, brace, brainchild, breed, business, case, case_in_point, circumstances, clew, clue, cogent_evidence, color_bar, color_line, colour_bar, colour_line, complementarity, component...

appearance as argument number 1
-------------------------


s__documentation(s__Entity,s__EnglishLanguage,'The universal class of individuals. This is the root node of the ontology.')

Merge.kif 838-839
No TPTP formula. May not be expressible in strict first order. Merge.kif 837-837 Entity is exhaustively partitioned into physical and abstract

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 805-805 The range of assignment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6157-6157 The range of first is an instance of entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6143-6143 The range of last is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3104-3104 The range of list order is an instance of entity
No TPTP formula. May not be expressible in strict first order. Geography.kif 2739-2739 The range of shortage is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1698-1698 Abstract is a subclass of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 853-853 Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 814-814 term format ChineseLanguage, entity and "实体"
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 814-814 term format ChineseLanguage, entity and "实体"
No TPTP formula. May not be expressible in strict first order. english_format.kif 500-500 term format english language, entity and "entity"
No TPTP formula. May not be expressible in strict first order. french_format.kif 489-489 term format french language, entity and "entit�"
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 23-23 term format Hindi, entity and "astitva"
No TPTP formula. May not be expressible in strict first order. terms-it.txt 23-23 term format italian language, entity and "Entit�"
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 441-441 term format portuguese language, entity and "Entidade"
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 225-225 term format ar, entity and "كَائِن"
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 26-26 term format cb, entity and "bisag unsa"
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 56-56 term format cz, entity and "entita"
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 26-26 term format tg, entity and "kahit ano"

appearance as argument number 3
-------------------------


s__domain(s__AssignmentFn__m,2,s__Entity)

Merge.kif 804-804 The number 2 argument of assignment is an instance of entity
s__domain(s__ListFn__m,1,s__Entity)

Merge.kif 3057-3057 The number 1 argument of list is an instance of entity
s__domain(s__abbreviation__m,2,s__Entity)

Mid-level-ontology.kif 24484-24484 The number 2 argument of abbreviation is an instance of entity
s__domain(s__accessableFromMenu__m,1,s__Entity)

ComputerInput.kif 805-805 The number 1 argument of accessableFromMenu is an instance of entity
s__domain(s__accessableFromMenuItem__m,1,s__Entity)

ComputerInput.kif 1004-1004 The number 1 argument of accessableFromMenuItem is an instance of entity
s__domain(s__acronym__m,2,s__Entity)

Media.kif 3007-3007 The number 2 argument of acronym is an instance of entity
s__domain(s__buys__m,3,s__Entity)

Catalog.kif 166-166 The number 3 argument of buys is an instance of entity
s__domain(s__codeMapping__m,3,s__Entity)

Media.kif 2265-2265 The number 3 argument of codeMapping is an instance of entity
s__domain(s__comment__m,1,s__Entity)

Merge.kif 17204-17204 The number 1 argument of comment is an instance of entity
s__domain(s__confersNorm__m,1,s__Entity)

Merge.kif 4056-4056 The number 1 argument of confers norm is an instance of entity
s__domain(s__confersObligation__m,2,s__Entity)

Merge.kif 16450-16450 The number 2 argument of confers obligation is an instance of entity
s__domain(s__confersRight__m,2,s__Entity)

Merge.kif 16429-16429 The number 2 argument of confers right is an instance of entity
s__domain(s__contestEntry__m,1,s__Entity)

Music.kif 1092-1092 The number 1 argument of contest entry is an instance of entity
s__domain(s__conventionalLongName__m,2,s__Entity)

Mid-level-ontology.kif 24467-24467 The number 2 argument of official name is an instance of entity
s__domain(s__conventionalShortName__m,2,s__Entity)

Mid-level-ontology.kif 24479-24479 The number 2 argument of acronym is an instance of entity
s__domain(s__creator__m,2,s__Entity)

Mid-level-ontology.kif 10844-10844 The number 2 argument of creator is an instance of entity
s__domain(s__crossFunctionalTeamFocus__m,1,s__Entity)

UXExperimentalTerms.kif 2863-2863 The number 1 argument of BinaryPredicate is an instance of entity
s__domain(s__deprivesNorm__m,1,s__Entity)

Merge.kif 4073-4073 The number 1 argument of deprives norm is an instance of entity
s__domain(s__destination__m,2,s__Entity)

Merge.kif 2527-2527 The number 2 argument of destination is an instance of entity
s__domain(s__documentation__m,1,s__Entity)

Merge.kif 408-408 The number 1 argument of documentation is an instance of entity
s__domain(s__element__m,1,s__Entity)

Merge.kif 5420-5420 The number 1 argument of element is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 284-284 The number 1 argument of equal is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 285-285 The number 2 argument of equal is an instance of entity
s__domain(s__externalImage__m,1,s__Entity)

Merge.kif 693-693 The number 1 argument of externalImage is an instance of entity
s__domain(s__format__m,2,s__Entity)

Merge.kif 422-422 The number 2 argument of format is an instance of entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 849-851 A set or class is an instance of class if and only if the set or class is a subclass of entity
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2780-2785
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2826-2836

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 846-847 There exists an entity such that the entity is an instance of entity


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99b (>= 2014/01/25) is open source software produced by Articulate Software and its partners