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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 817-818
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 118-119
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 137-138
No TPTP formula. May not be expressible in strict first order. Merge.kif 816-816 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 788-788 The range of assignment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3228-3228 The range of first is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3208-3208 The range of last is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2980-2980 The range of list order is an instance of entity
No TPTP formula. May not be expressible in strict first order. Geography.kif 2888-2888 The range of shortage is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1669-1669 Abstract is a subclass of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 832-832 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 489-489
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 23-23
No TPTP formula. May not be expressible in strict first order. terms-it.txt 25-25
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2174-2174
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 441-441
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 26-26
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 56-56
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 510-510
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 26-26

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 787-787 The number 2 argument of assignment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2934-2934 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 27265-27265 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. Mid-level-ontology.kif 27276-27276 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 29985-29985 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 18445-18445 The number 1 argument of comment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3993-3993 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 17526-17526 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 17505-17505 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 1080-1080 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 27248-27248 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 27260-27260 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 13741-13741 The number 2 argument of creator is an instance of entity
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2655-2655 The number 1 argument of BinaryPredicate is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4015-4015 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 2445-2445 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 5415-5415 The number 1 argument of element is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 677-677 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 3271-3271 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 3285-3285 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 2572-2577
No TPTP formula. May not be expressible in strict first order. Merge.kif 828-830
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2618-2628

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


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