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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Entity

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

VerbNet: seem-109|be, bump-18.4|run, bump-18.4|run, exist-47.1|exist, bump-18.4|run, bump-18.4|run, seem-109|remain, bump-18.4|run,


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


No TPTP formula. May not be expressible in strict first order. Merge.kif 782-783
No TPTP formula. May not be expressible in strict first order. Merge.kif 781-781 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 753-753 The range of assignment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3110-3110 The range of first is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3095-3095 The range of last is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2868-2868 The range of list order is an instance of entity
No TPTP formula. May not be expressible in strict first order. Geography.kif 2756-2756 The range of shortage is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1573-1573 Abstract is a subclass of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 797-797 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 833-833

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 752-752 The number 2 argument of assignment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2822-2822 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 25518-25518 The number 2 argument of abbreviation is an instance of entity
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 881-881 The number 1 argument of accessibleFromMenu is an instance of entity
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1165-1165 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 28157-28157 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 16996-16996 The number 1 argument of comment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3849-3849 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 16246-16246 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 16225-16225 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 1072-1072 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 25501-25501 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 25513-25513 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 11351-11351 The number 2 argument of creator is an instance of entity
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2860-2860 The number 1 argument of BinaryPredicate is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3871-3871 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 2346-2346 The number 2 argument of destination is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 368-368 The number 1 argument of documentation is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5125-5125 The number 1 argument of element is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 253-253 The number 1 argument of equal is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 254-254 The number 2 argument of equal is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 648-648 The number 1 argument of externalImage is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 380-380 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 793-795 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 2777-2782
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2823-2833

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


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