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 810-811
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 809-809 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 781-781 The range of assignment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3225-3225 The range of first is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3205-3205 The range of last is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2977-2977 The range of list order is an instance of entity
No TPTP formula. May not be expressible in strict first order. Geography.kif 2876-2876 The range of shortage is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1664-1664 Abstract is a subclass of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 825-825 Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 813-813 Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order. english_format.kif 828-828 Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order. french_format.kif 489-489 Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 23-23 Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order. terms-it.txt 25-25 Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2174-2174 Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 441-441 Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 26-26 Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 56-56 Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order. terms-de.txt 315-315 Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 510-510 Physical is a subclass of entity
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 26-26 Physical is a subclass of entity

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 780-780 The number 2 argument of assignment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2931-2931 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 29135-29135 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 29146-29146 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 31855-31855 The number 3 argument of buys is an instance of entity
No TPTP formula. May not be expressible in strict first order. Media.kif 2268-2268 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 18538-18538 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 17615-17615 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 17594-17594 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 1082-1082 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 29118-29118 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 29130-29130 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 15085-15085 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. Law.kif 287-287 The number 2 argument of defense lawyer 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 2441-2441 The number 2 argument of destination is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 362-362 The number 1 argument of documentation is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5424-5424 The number 1 argument of element is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 670-670 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 374-374 The number 2 argument of format is an instance of entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16091-16091 The number 2 argument of former name 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 821-823
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 818-819 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