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

Formal Language: 


KB Term:  Term intersection
English Word: 

  habitatOfOrganism

 Sigma KEE - habitatOfOrganism
habitatOfOrganism

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


(documentation habitatOfOrganism EnglishLanguage "A relation between a particular GeographicalRegion and an Organism likely to inhabit that region. Although it is possible that the organism inhabits other regions that are not mentioned, either through incidental momentary migration, or in captivity, the likelihood is that it only appears within the given region or regions. In this sense, the relation embodies a closed world assumption.") Mid-level-ontology.kif 32301-32306
(domain habitatOfOrganism 2 GeographicArea) Mid-level-ontology.kif 32299-32299
(domainSubclass habitatOfOrganism 1 Organism) Mid-level-ontology.kif 32298-32298
(instance habitatOfOrganism BinaryPredicate) Mid-level-ontology.kif 32297-32297

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


(format ChineseLanguage habitatOfOrganism "%1 inhabits %2 ") domainEnglishFormat.kif 3588-3588
(format ChineseTraditionalLanguage habitatOfOrganism "%1 inhabits %2 ") domainEnglishFormat.kif 3587-3587
(format EnglishLanguage habitatOfOrganism "%1 inhabits %2") domainEnglishFormat.kif 3586-3586
(termFormat EnglishLanguage habitatOfOrganism "habitat of organism") domainEnglishFormat.kif 65853-65853

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


(=>
    (habitatOfOrganism ?O ?L)
    (modalAttribute
        (exists (?OI)
            (and
                (instance ?OI ?O)
                (inhabits ?OI ?L))) Likely))		 Mid-level-ontology.kif 32308-32315
(=>
    (habitatOfOrganism ?O ?L)
    (not
        (subclass ?O DomesticAnimal)))		 Mid-level-ontology.kif 32317-32320

appearance as argument number 0
-------------------------


(habitatOfOrganism Alligator China) Mid-level-ontology.kif 21892-21892
(habitatOfOrganism Alligator UnitedStates) Mid-level-ontology.kif 21891-21891
(habitatOfOrganism Badger Africa) Mid-level-ontology.kif 21907-21907
(habitatOfOrganism Badger Asia) Mid-level-ontology.kif 21906-21906
(habitatOfOrganism Badger Europe) Mid-level-ontology.kif 21905-21905
(habitatOfOrganism Badger NorthAmerica) Mid-level-ontology.kif 21904-21904
(habitatOfOrganism Bear Asia) Mid-level-ontology.kif 21921-21921
(habitatOfOrganism Bear Europe) Mid-level-ontology.kif 21920-21920
(habitatOfOrganism Bear NorthAmerica) Mid-level-ontology.kif 21919-21919
(habitatOfOrganism Bear SouthAmerica) Mid-level-ontology.kif 21922-21922
(habitatOfOrganism Cheetah Africa) Mid-level-ontology.kif 32506-32506
(habitatOfOrganism Cheetah Asia) Mid-level-ontology.kif 32505-32505
(habitatOfOrganism Crocodile Africa) Mid-level-ontology.kif 32484-32484
(habitatOfOrganism Crocodile Asia) Mid-level-ontology.kif 32482-32482
(habitatOfOrganism Crocodile Australia) Mid-level-ontology.kif 32485-32485
(habitatOfOrganism Crocodile Europe) Mid-level-ontology.kif 32481-32481
(habitatOfOrganism Crocodile NorthAmerica) Mid-level-ontology.kif 32483-32483
(habitatOfOrganism Crocodile SouthAmerica) Mid-level-ontology.kif 32486-32486
(habitatOfOrganism Kangaroo Australia) Mid-level-ontology.kif 21933-21933
(habitatOfOrganism Lemur Madagascar) Mid-level-ontology.kif 32408-32408
(habitatOfOrganism Lion Africa) Mid-level-ontology.kif 32292-32292
(habitatOfOrganism Lion India) Mid-level-ontology.kif 32293-32293
(habitatOfOrganism Llama NorthAmerica) Mid-level-ontology.kif 21942-21942
(habitatOfOrganism Llama SouthAmerica) Mid-level-ontology.kif 21941-21941
(habitatOfOrganism Panda China) Mid-level-ontology.kif 32425-32425

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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