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

Formal Language: 



KB Term:  Term intersection
English Word: 

  or

Sigma KEE - or
or

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42384-42384
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42383-42383
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42382-42382

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24713-24720 A postal place is located at a geopolitical area and the postal place is an instance of postal place and the geopolitical area is an instance of nation or the geopolitical area is an instance of dependency or special sovereignty area if and only if the postal place is in the geopolitical area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14079-14089
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26159-26171
No TPTP formula. May not be expressible in strict first order. Biography.kif 730-740
No TPTP formula. May not be expressible in strict first order. Medicine.kif 367-385
No TPTP formula. May not be expressible in strict first order. Economy.kif 2112-2121
No TPTP formula. May not be expressible in strict first order. Economy.kif 2156-2165
No TPTP formula. May not be expressible in strict first order. Economy.kif 2202-2211
No TPTP formula. May not be expressible in strict first order. Economy.kif 1980-1989
No TPTP formula. May not be expressible in strict first order. Merge.kif 5993-6006
No TPTP formula. May not be expressible in strict first order. Merge.kif 5979-5991
No TPTP formula. May not be expressible in strict first order. Economy.kif 4532-4543
No TPTP formula. May not be expressible in strict first order. Economy.kif 2277-2286
No TPTP formula. May not be expressible in strict first order. Hotel.kif 841-862
No TPTP formula. May not be expressible in strict first order. Hotel.kif 546-561
No TPTP formula. May not be expressible in strict first order. Hotel.kif 346-361
No TPTP formula. May not be expressible in strict first order. Hotel.kif 364-378
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1838-1860
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1862-1884
No TPTP formula. May not be expressible in strict first order. Economy.kif 2123-2130
No TPTP formula. May not be expressible in strict first order. Economy.kif 2167-2174
No TPTP formula. May not be expressible in strict first order. Economy.kif 2213-2220
No TPTP formula. May not be expressible in strict first order. Economy.kif 1991-1998
No TPTP formula. May not be expressible in strict first order. Economy.kif 2288-2295
No TPTP formula. May not be expressible in strict first order. Economy.kif 2594-2601

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 4768-4779 The absolute value of a real number is equal to a nonnegative real number and the real number is an instance of real number and the nonnegative real number is an instance of real number if and only if the real number is an instance of nonnegative real number and the real number is equal to the nonnegative real number or the real number is an instance of negative real number and the nonnegative real number is equal to (0.0 and the real number)
No TPTP formula. May not be expressible in strict first order. Government.kif 1400-1404 Queen is an attribute of an object if and only if Queen regnant is an attribute of the object or Queen consort is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1885-1889 A real number is greater than or equal to another real number if and only if the real number is equal to the other real number or the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1601-1607 Legal agent is an attribute of an entity holds during a time position if and only if the entity is capable of doing legal action as a agent or the entity is capable of doing legal action as a patient holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11682-11689 An object is an instance of bone if and only if there exists another object such that the other object is an instance of skeleton or the other object is an instance of exoskeleton and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3504-3513 An entity is an instance of continent if and only if africa is equal to the entity or north america is equal to the entity or south america is equal to the entity or antarctica is equal to the entity or europe is equal to the entity or asia is equal to the entity or oceania is equal to the entity
No TPTP formula. May not be expressible in strict first order. Geography.kif 3488-3494 An entity is an instance of hemisphere if and only if the entity is equal to northern hemisphere or the entity is equal to southern hemisphere or the entity is equal to eastern hemisphere or the entity is equal to western hemisphere
No TPTP formula. May not be expressible in strict first order. Government.kif 108-115 An organization is an instance of government organization if and only if the organization is an instance of government or there exists another organization such that the other organization is an instance of government and the organization is a part of the organization the other organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 1867-1871 A real number is less than or equal to another real number if and only if the real number is equal to the other real number or the real number is less than the other real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 17103-17107 An object is adjacent to another object if and only if the object is near to the other object or the object is connected to the other object
No TPTP formula. May not be expressible in strict first order. Merge.kif 17091-17095 An object is below to another object if and only if the other object is on to the object or the other object is above to the object
No TPTP formula. May not be expressible in strict first order. Government.kif 738-753
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 655-667
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31387-31394
No TPTP formula. May not be expressible in strict first order. Military.kif 286-297
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2881-2897
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2917-2933
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2854-2870
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25748-25761
No TPTP formula. May not be expressible in strict first order. Merge.kif 13841-13854
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2392-2407
No TPTP formula. May not be expressible in strict first order. Hotel.kif 504-520
No TPTP formula. May not be expressible in strict first order. Hotel.kif 522-538
No TPTP formula. May not be expressible in strict first order. Merge.kif 221-227
No TPTP formula. May not be expressible in strict first order. Merge.kif 244-250

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Military.kif 933-946 The reaching military age annually male of a geopolitical area and a year is equal to the number of instances in the class described by a symbolic string


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