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 30369-30374
(domain habitatOfOrganism 2 GeographicArea) Mid-level-ontology.kif 30367-30367
(domainSubclass habitatOfOrganism 1 Organism) Mid-level-ontology.kif 30366-30366
(instance habitatOfOrganism BinaryPredicate) Mid-level-ontology.kif 30365-30365

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


(format ChineseLanguage habitatOfOrganism "%1 inhabits %2 ") domainEnglishFormat.kif 3590-3590
(format ChineseTraditionalLanguage habitatOfOrganism "%1 inhabits %2 ") domainEnglishFormat.kif 3589-3589
(format EnglishLanguage habitatOfOrganism "%1 inhabits %2") domainEnglishFormat.kif 3588-3588
(termFormat EnglishLanguage habitatOfOrganism "habitat of organism") domainEnglishFormat.kif 65846-65846

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


(=>
    (habitatOfOrganism ?O ?L)
    (modalAttribute
        (exists (?OI)
            (and
                (instance ?OI ?O)
                (inhabits ?OI ?L))) Likely))		 Mid-level-ontology.kif 30376-30383
(=>
    (habitatOfOrganism ?O ?L)
    (not
        (subclass ?O DomesticAnimal)))		 Mid-level-ontology.kif 30385-30388

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


(habitatOfOrganism Alligator China) Mid-level-ontology.kif 20274-20274
(habitatOfOrganism Alligator UnitedStates) Mid-level-ontology.kif 20273-20273
(habitatOfOrganism Badger Africa) Mid-level-ontology.kif 20289-20289
(habitatOfOrganism Badger Asia) Mid-level-ontology.kif 20288-20288
(habitatOfOrganism Badger Europe) Mid-level-ontology.kif 20287-20287
(habitatOfOrganism Badger NorthAmerica) Mid-level-ontology.kif 20286-20286
(habitatOfOrganism Bear Asia) Mid-level-ontology.kif 20303-20303
(habitatOfOrganism Bear Europe) Mid-level-ontology.kif 20302-20302
(habitatOfOrganism Bear NorthAmerica) Mid-level-ontology.kif 20301-20301
(habitatOfOrganism Bear SouthAmerica) Mid-level-ontology.kif 20304-20304
(habitatOfOrganism Cheetah Africa) Mid-level-ontology.kif 30558-30558
(habitatOfOrganism Cheetah Asia) Mid-level-ontology.kif 30557-30557
(habitatOfOrganism Crocodile Africa) Mid-level-ontology.kif 30536-30536
(habitatOfOrganism Crocodile Asia) Mid-level-ontology.kif 30534-30534
(habitatOfOrganism Crocodile Australia) Mid-level-ontology.kif 30537-30537
(habitatOfOrganism Crocodile Europe) Mid-level-ontology.kif 30533-30533
(habitatOfOrganism Crocodile NorthAmerica) Mid-level-ontology.kif 30535-30535
(habitatOfOrganism Crocodile SouthAmerica) Mid-level-ontology.kif 30538-30538
(habitatOfOrganism Kangaroo Australia) Mid-level-ontology.kif 20315-20315
(habitatOfOrganism Lemur Madagascar) Mid-level-ontology.kif 30460-30460
(habitatOfOrganism Lion Africa) Mid-level-ontology.kif 30360-30360
(habitatOfOrganism Lion India) Mid-level-ontology.kif 30361-30361
(habitatOfOrganism Llama NorthAmerica) Mid-level-ontology.kif 20324-20324
(habitatOfOrganism Llama SouthAmerica) Mid-level-ontology.kif 20323-20323
(habitatOfOrganism Panda China) Mid-level-ontology.kif 30477-30477

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