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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Entity
Entity(entity)Jim_Crow, Moloch, actuality, adversative_conjunction, aftermath, aim, albatross, allocation, allotment, allowance, antecedent, antitype, apology, appearance, articulation, assets, bag, balance, bamboo_curtain, barrier, base, be, beginning, being, beingness, bind, 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, component_part, concentrate, consequence, constituent, contour...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 806-807
No TPTP formula. May not be expressible in strict first order. Merge.kif 805-805 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 777-777 The range of assignment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3204-3204 The range of first is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3184-3184 The range of last is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2956-2956 The range of list order is an instance of entity
No TPTP formula. May not be expressible in strict first order. Geography.kif 2821-2821 The range of shortage is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1646-1646 Abstract is a subclass of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 821-821 Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 813-813
No TPTP formula. May not be expressible in strict first order. english_format.kif 828-828

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 776-776 The number 2 argument of assignment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2910-2910 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 27148-27148 The number 2 argument of abbreviation is an instance of entity
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 852-852 The number 1 argument of accessible from menu is an instance of entity
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1138-1138 The number 1 argument of accessible from menu item is an instance of entity
No TPTP formula. May not be expressible in strict first order. Media.kif 3033-3033 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 29877-29877 The number 3 argument of buys is an instance of entity
No TPTP formula. May not be expressible in strict first order. Media.kif 2266-2266 The number 3 argument of code mapping is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 18203-18203 The number 1 argument of comment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3969-3969 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 17306-17306 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 17285-17285 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 1079-1079 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 27131-27131 The number 2 argument of conventional long name is an instance of entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27143-27143 The number 2 argument of conventional short name is an instance of entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13561-13561 The number 2 argument of creator is an instance of entity
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2861-2861 The number 1 argument of BinaryPredicate is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3991-3991 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 2422-2422 The number 2 argument of destination is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 369-369 The number 1 argument of documentation is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5381-5381 The number 1 argument of element is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 666-666 The number 1 argument of external image is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 381-381 The number 2 argument of format is an instance of entity
No TPTP formula. May not be expressible in strict first order. Media.kif 3289-3289 The number 2 argument of full name is an instance of entity
No TPTP formula. May not be expressible in strict first order. Media.kif 3303-3303 The number 2 argument of full name index order 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. UXExperimentalTerms.kif 2778-2783
No TPTP formula. May not be expressible in strict first order. Merge.kif 817-819
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2824-2834

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 814-815 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 3.0 is open source software produced by Articulate Software and its partners