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 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 3161-3161 The range of first is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3141-3141 The range of last is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2913-2913 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 1615-1615 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 2867-2867 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 26626-26626 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 3021-3021 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 29369-29369 The number 3 argument of buys is an instance of entity
No TPTP formula. May not be expressible in strict first order. Media.kif 2257-2257 The number 3 argument of codeMapping is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 18105-18105 The number 1 argument of comment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3917-3917 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 17208-17208 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 17187-17187 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 1073-1073 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 26609-26609 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 26621-26621 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 13184-13184 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 3939-3939 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 2391-2391 The number 2 argument of destination is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 367-367 The number 1 argument of documentation is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5320-5320 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 externalImage is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 379-379 The number 2 argument of format is an instance of entity
No TPTP formula. May not be expressible in strict first order. Media.kif 3277-3277 The number 2 argument of fullName is an instance of entity
No TPTP formula. May not be expressible in strict first order. Media.kif 3291-3291 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 817-819
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 814-815 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