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 808-809
No TPTP formula. May not be expressible in strict first order. Merge.kif 807-807 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 779-779 The range of assignment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3163-3163 The range of first is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3143-3143 The range of last is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2915-2915 The range of list order is an instance of entity
No TPTP formula. May not be expressible in strict first order. Geography.kif 2819-2819 The range of shortage is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1617-1617 Abstract is a subclass of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 823-823 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 778-778 The number 2 argument of assignment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2869-2869 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 26718-26718 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 accessibleFromMenu is an instance of entity
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1136-1136 The number 1 argument of accessibleFromMenuItem is an instance of entity
No TPTP formula. May not be expressible in strict first order. Media.kif 3019-3019 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 29465-29465 The number 3 argument of buys is an instance of entity
No TPTP formula. May not be expressible in strict first order. Media.kif 2252-2252 The number 3 argument of codeMapping is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 18099-18099 The number 1 argument of comment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3919-3919 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 17202-17202 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 17181-17181 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 1078-1078 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 26701-26701 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 26713-26713 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 13233-13233 The number 2 argument of creator is an instance of entity
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2865-2865 The number 1 argument of BinaryPredicate is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3941-3941 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 2393-2393 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 5322-5322 The number 1 argument of element is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 668-668 The number 1 argument of externalImage 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 3275-3275 The number 2 argument of fullName 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 fullNameIndexOrder 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 2782-2787
No TPTP formula. May not be expressible in strict first order. Merge.kif 819-821
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2828-2838

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 816-817 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