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 14277-14278
No TPTP formula. May not be expressible in strict first order. Merge.kif 14274-14276
No TPTP formula. May not be expressible in strict first order. Merge.kif 14272-14272 The number 1 argument of inhabits is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14273-14273 The number 2 argument of inhabits is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14271-14271 inhabits is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 14270-14270 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. french_format.kif 308-308
No TPTP formula. May not be expressible in strict first order. relations-it.txt 143-143
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 260-260
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 314-314
No TPTP formula. May not be expressible in strict first order. relations-de.txt 677-677
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 182-182
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 290-290
No TPTP formula. May not be expressible in strict first order. Merge.kif 14288-14288 home is a subrelation of inhabits
No TPTP formula. May not be expressible in strict first order. Merge.kif 14297-14297 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
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 291-291 "nabubuhay" is the printable form of inhabits in tg

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 14398-14402
No TPTP formula. May not be expressible in strict first order. Merge.kif 14348-14352
No TPTP formula. May not be expressible in strict first order. Merge.kif 14412-14416
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 14280-14286

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 a number is equal to the number of instances in the class described by an organism and another number is equal to the number of instances in the class described by another organism and the number and the other number 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 another integer) is equal to 1 and the population of the geopolitical area is equal to a third integer holds during the year the integer and the third integer and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by an organism and another number is equal to the number of instances in the class described by the organism and (the number and the other number) is equal to another quantity and the other quantity and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27837-27844
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27821-27829
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 22574-22583
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14652-14668
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28083-28090
No TPTP formula. May not be expressible in strict first order. Merge.kif 14333-14338
No TPTP formula. May not be expressible in strict first order. Geography.kif 5624-5628
No TPTP formula. May not be expressible in strict first order. Merge.kif 15742-15752
No TPTP formula. May not be expressible in strict first order. Merge.kif 14512-14517
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28331-28338
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6652-6658
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 6094-6096

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 an organism
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 an agent
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 an organism
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 an organism
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 an organism


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