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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - inhabits
inhabits

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14414-14415
No TPTP formula. May not be expressible in strict first order. Merge.kif 14411-14413
No TPTP formula. May not be expressible in strict first order. Merge.kif 14409-14409 The number 1 argument of inhabits is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14410-14410 The number 2 argument of inhabits is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14408-14408 inhabits is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 14407-14407 inhabits is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 521-521
No TPTP formula. May not be expressible in strict first order. english_format.kif 319-319
No TPTP formula. May not be expressible in strict first order. Merge.kif 14425-14425 home is a subrelation of inhabits
No TPTP formula. May not be expressible in strict first order. Merge.kif 14434-14434 stays is a subrelation of inhabits
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 522-522 "居住" is the printable form of inhabits in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5429-5429 "inhabits" is the printable form of inhabits in english language

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


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 26-47
No TPTP formula. May not be expressible in strict first order. Merge.kif 14535-14539
No TPTP formula. May not be expressible in strict first order. Merge.kif 14485-14489
No TPTP formula. May not be expressible in strict first order. Merge.kif 14549-14553
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 70-78
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 92-99
No TPTP formula. May not be expressible in strict first order. Merge.kif 14417-14423

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 221-238 The male to female ratio of a geopolitical area is equal to a real number if and only if an integer is equal to the number of instances in the class described by a symbolic string and another integer is equal to the number of instances in the class described by another symbolic string and the integer and the other integer is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 174-202 The migrants per thousand of a geopolitical area and the year an integer is equal to a real number if and only if (the integer and a quantity) is equal to 1 and the population of the geopolitical area is equal to another quantity holds during the year the integer and the other quantity and 1000 is equal to a third quantity and another integer is equal to the number of instances in the class described by a symbolic string and a third integer is equal to the number of instances in the class described by the symbolic string and (the other integer and the third integer) is equal to a fourth quantity and the fourth quantity and the third quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28278-28285
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28262-28270
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 26-47
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22966-22975
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14912-14928
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28524-28531
No TPTP formula. May not be expressible in strict first order. Merge.kif 14470-14475
No TPTP formula. May not be expressible in strict first order. Geography.kif 5623-5627
No TPTP formula. May not be expressible in strict first order. Merge.kif 15879-15889
No TPTP formula. May not be expressible in strict first order. Merge.kif 14649-14654
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28772-28779
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6656-6662
No TPTP formula. May not be expressible in strict first order. Food.kif 323-330
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6098-6100

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


No TPTP formula. May not be expressible in strict first order. Military.kif 867-876 The available for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order. People.kif 462-472 The children born per woman of a geopolitical area and the year an integer is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order. Military.kif 890-901 The fit for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order. People.kif 49-54 The population of a geopolitical area is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order. Military.kif 928-941 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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners