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

Formal Language: 



KB Term:  Term intersection
English Word: 

  inhabits

Sigma KEE - inhabits
inhabits

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


s__documentation(s__inhabits__m,s__ChineseLanguage,'这是住在其他某样东西内最基本的概念。 (inhabits ?ORGANISM ?OBJECT)的意思是 ?OBJECT 是 ?ORGANISM 的住所(临时或永久的)、巢穴如此类推。')

Merge.kif 14356-14357
s__documentation(s__inhabits__m,s__EnglishLanguage,'A very basic notion of living within something else. (inhabits ?ORGANISM ?OBJECT) means that ?OBJECT is the residence (either permanent or temporary), nest, etc. of ?ORGANISM.')

Merge.kif 14353-14355
s__domain(s__inhabits__m,1,s__Organism)

Merge.kif 14351-14351
s__domain(s__inhabits__m,2,s__Object)

Merge.kif 14352-14352
s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 14350-14350
s__instance(s__inhabits__m,s__BinaryPredicate)

Merge.kif 14349-14349

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


s__format(s__ChineseLanguage,s__inhabits__m,'%1 %n{doesnt} 住在 %2')

chinese_format.kif 521-521
s__format(s__EnglishLanguage,s__inhabits__m,'%1 %n{doesnt} live%p{s} in %2')

english_format.kif 319-319
s__format(s__FrenchLanguage,s__inhabits__m,'%1 %n{ne} vie %n{pas} � %2')

french_format.kif 308-308
s__format(s__ItalianLanguage,s__inhabits__m,'%1 %n{non} abita%p{s} in %2')

relations-it.txt 143-143
s__format(s__PortugueseLanguage,s__inhabits__m,'%1 %n{nao} vive %n em %2')

portuguese_format.kif 260-260
s__format(s__cz__m,s__inhabits__m,'%1 %n{doesnt} live%p{s} in %2')

relations-cz.txt 314-314
s__format(s__de__m,s__inhabits__m,'%1 wohnt %n{nicht} in %2')

relations-de.txt 677-677
s__format(s__hi__m,s__inhabits__m,'%1 %2 men %n{nahiin} rahataa hai')

relations-hindi.txt 182-182
s__format(s__tg__m,s__inhabits__m,'%1 %n ay nabubuhay sa %2')

relations-tg.txt 290-290
s__subrelation(s__home__m,s__inhabits__m)

Merge.kif 14367-14367
s__subrelation(s__stays__m,s__inhabits__m)

Merge.kif 14376-14376
s__termFormat(s__ChineseLanguage,s__inhabits__m,'居住')

chinese_format.kif 522-522
s__termFormat(s__EnglishLanguage,s__inhabits__m,'inhabits')

domainEnglishFormat.kif 5429-5429
s__termFormat(s__tg__m,s__inhabits__m,'nabubuhay')

relations-tg.txt 291-291

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


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 26-47
( ∀ [V__BACTERIUM,V__OBJ]
   ((s__instance(V__BACTERIUM,s__Bacterium) ∧
       s__inhabits(V__BACTERIUM,V__OBJ))
   ⇒
   s__instance(V__OBJ,s__Organism))
)

Merge.kif 14477-14481
( ∀ [V__FUNGUS,V__OBJ]
   ((s__instance(V__FUNGUS,s__Fungus) ∧
       s__inhabits(V__FUNGUS,V__OBJ))
   ⇒
   s__instance(V__OBJ,s__Organism))
)

Merge.kif 14427-14431
( ∀ [V__VIRUS,V__OBJ]
   ((s__instance(V__VIRUS,s__Virus) ∧
       s__inhabits(V__VIRUS,V__OBJ))
   ⇒
   s__instance(V__OBJ,s__Organism))
)

Merge.kif 14491-14495
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 14359-14365

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


No TPTP formula. May not be expressible in strict first order. People.kif 221-238
No TPTP formula. May not be expressible in strict first order. People.kif 174-202
( ∀ [V__I]
   ((s__attribute(V__I,s__Inhabited) ∧
       s__instance(V__I,s__Region))
     ⇒
     (∃ [V__H]
       (s__instance(V__H,s__Human) ∧
         s__inhabits(V__H,V__I))))
)

Mid-level-ontology.kif 28198-28205
( ∀ [V__U]
   ((s__attribute(V__U,s__Uninhabited) ∧
       s__instance(V__U,s__Region))
     ⇒
     (¬ (∃ [V__H]
         (s__instance(V__H,s__Human) ∧
           s__inhabits(V__H,V__U)))))
)

Mid-level-ontology.kif 28182-28190
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 22935-22944
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 28444-28451
( ∀ [V__ALGA]
   (s__instance(V__ALGA,s__Alga) ⇒
     (∃ [V__WATER]
       (s__inhabits(V__ALGA,V__WATER)
       ∧
       s__instance(V__WATER,s__Water))))
)

Merge.kif 14412-14417
No TPTP formula. May not be expressible in strict first order. Geography.kif 5624-5628
( ∀ [V__BUILDING]
   (s__instance(V__BUILDING,s__Building) ⇒
     (∃ [V__HUMAN]
       (s__instance(V__HUMAN,s__Human) ∧
         (s__inhabits(V__HUMAN,V__BUILDING)
         ∨
         (∃ [V__ACT]
           (s__agent(V__ACT,V__HUMAN)
           ∧
           s__located(V__ACT,V__BUILDING)))))))
)

Merge.kif 15821-15831
( ∀ [V__FISH]
   (s__instance(V__FISH,s__Fish) ⇒
     (∃ [V__WATER]
       (s__inhabits(V__FISH,V__WATER)
       ∧
       s__instance(V__WATER,s__Water))))
)

Merge.kif 14591-14596
( ∀ [V__P,V__N]
   (s__instance(V__P,s__DemonymFn(V__N))

((∃ [V__R]
     (s__located(V__R,V__N)
     ∧
     s__inhabits(V__P,V__R)))

s__birthplace(V__P,V__N)))
)

Mid-level-ontology.kif 28692-28699
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6656-6662
( ∀ [V__S,V__ANIMAL]
   (s__instance(V__S,s__Seafood) ⇒
     (∃ [V__X,V__SEA]
       (s__meatOfAnimal(V__S,V__ANIMAL)
       ∧
       s__instance(V__X,V__ANIMAL)
     ∧
     s__instance(V__SEA,s__BodyOfWater) ∧
     s__inhabits(V__X,V__SEA))))
)

Food.kif 323-330
( ∀ [V__O1,V__O2]
   (s__parasite(V__O1,V__O2)
   ⇒
   s__inhabits(V__O1,V__O2))
)

Mid-level-ontology.kif 6098-6100

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


No TPTP formula. May not be expressible in strict first order. Military.kif 867-876
No TPTP formula. May not be expressible in strict first order. People.kif 462-472
No TPTP formula. May not be expressible in strict first order. Military.kif 890-901
No TPTP formula. May not be expressible in strict first order. People.kif 49-54
No TPTP formula. May not be expressible in strict first order. Military.kif 928-941


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners