Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Entity

 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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 841-842
No TPTP formula. May not be expressible in strict first order. Merge.kif 840-840 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 808-808 The range of assignment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6351-6351 The range of first is an instance of entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6337-6337 The range of last is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3152-3152 The range of list order is an instance of entity
No TPTP formula. May not be expressible in strict first order. Geography.kif 2744-2744 The range of shortage is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1703-1703 Abstract is a subclass of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 856-856 Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 813-813 "实体" is the printable form of entity in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 500-500 "entity" is the printable form of entity in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 489-489 "entit�" is the printable form of entity in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 23-23 "astitva" is the printable form of entity in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 23-23 "Entit�" is the printable form of entity in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 441-441 "Entidade" is the printable form of entity in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 225-225 "كَائِن" is the printable form of entity in ar
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 26-26 "bisag unsa" is the printable form of entity in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 56-56 "entita" is the printable form of entity in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 26-26 "kahit ano" is the printable form of entity in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 807-807 The number 2 argument of assignment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3105-3105 The number 1 argument of list is an instance of entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25047-25047 The number 2 argument of abbreviation is an instance of entity
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 710-710 The number 1 argument of accessibleFromMenu is an instance of entity
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 909-909 The number 1 argument of accessibleFromMenuItem is an instance of entity
No TPTP formula. May not be expressible in strict first order. Media.kif 3003-3003 The number 2 argument of acronym is an instance of entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27686-27686 The number 3 argument of buys is an instance of entity
No TPTP formula. May not be expressible in strict first order. Media.kif 2261-2261 The number 3 argument of codeMapping is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 18624-18624 The number 1 argument of comment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4105-4105 The number 1 argument of confers norm is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 17717-17717 The number 2 argument of confers obligation is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 17691-17691 The number 2 argument of confers right is an instance of entity
No TPTP formula. May not be expressible in strict first order. Music.kif 1094-1094 The number 1 argument of contest entry is an instance of entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25030-25030 The number 2 argument of official name is an instance of entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25042-25042 The number 2 argument of acronym is an instance of entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11060-11060 The number 2 argument of creator is an instance of entity
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2863-2863 The number 1 argument of BinaryPredicate is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4122-4122 The number 1 argument of deprives norm is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2568-2568 The number 2 argument of destination is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 408-408 The number 1 argument of documentation is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5472-5472 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
No TPTP formula. May not be expressible in strict first order. Merge.kif 696-696 The number 1 argument of externalImage is an instance of entity
No TPTP formula. May not be expressible in strict first order. 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 852-854 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 849-850 There exists an entity such that the entity is an instance of entity


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners