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



KB Term:  Term intersection
English Word: 

  habitatOfOrganism

Sigma KEE - habitatOfOrganism
habitatOfOrganism

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


(instance habitatOfOrganism BinaryPredicate) Mid-level-ontology.kif 33023-33023 habitat of organism is an instance of binary predicate
(domainSubclass habitatOfOrganism 1 Organism) Mid-level-ontology.kif 33024-33024 The number 1 argument of habitat of organism is a subclass of organism
(domain habitatOfOrganism 2 GeographicArea) Mid-level-ontology.kif 33025-33025 The number 2 argument of habitat of organism is an instance of geographic area
(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 33027-33032 The number 2 argument of habitat of organism is an instance of geographic area

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


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

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


(=>
    (habitatOfOrganism ?O ?L)
    (modalAttribute
        (exists (?OI)
            (and
                (instance ?OI ?O)
                (inhabits ?OI ?L))) Likely))
Mid-level-ontology.kif 33034-33041 If X inhabits Y, then the statement there exists Z such that Z is an instance of X and Z lives in Y has the modal force of likely
(=>
    (habitatOfOrganism ?O ?L)
    (not
        (subclass ?O DomesticAnimal)))
Mid-level-ontology.kif 33043-33046 If X inhabits Y, then X is not a subclass of domestic animal

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


(habitatOfOrganism Alligator UnitedStates) Mid-level-ontology.kif 22523-22523 Alligator inhabits united states
(habitatOfOrganism Alligator China) Mid-level-ontology.kif 22524-22524 Alligator inhabits china
(habitatOfOrganism Badger Europe) Mid-level-ontology.kif 22536-22536 Badger inhabits europe
(habitatOfOrganism Bear Europe) Mid-level-ontology.kif 22548-22548 Bear inhabits europe
(habitatOfOrganism Kangaroo Australia) Mid-level-ontology.kif 22559-22559 Kangaroo inhabits australia
(habitatOfOrganism Lion India) Mid-level-ontology.kif 33019-33019 Lion inhabits india
(habitatOfOrganism Parrot Australia) Mid-level-ontology.kif 33110-33110 Parrot inhabits australia
(habitatOfOrganism Lemur Madagascar) Mid-level-ontology.kif 33127-33127 Lemur inhabits madagascar
(habitatOfOrganism Panda China) Mid-level-ontology.kif 33144-33144 Panda inhabits china
(habitatOfOrganism Reindeer Europe) Mid-level-ontology.kif 33181-33181 Reindeer inhabits europe
(habitatOfOrganism Crocodile Europe) Mid-level-ontology.kif 33198-33198 Crocodile inhabits europe
(habitatOfOrganism Crocodile Australia) Mid-level-ontology.kif 33199-33199 Crocodile inhabits australia
(habitatOfOrganism Badger Africa) Geography.kif 4923-4923 Badger inhabits africa
(habitatOfOrganism Lion Africa) Geography.kif 4924-4924 Lion inhabits africa
(habitatOfOrganism Rhinoceros Africa) Geography.kif 4925-4925 Rhinoceros inhabits africa
(habitatOfOrganism Parrot Africa) Geography.kif 4926-4926 Parrot inhabits africa
(habitatOfOrganism Crocodile Africa) Geography.kif 4927-4927 Crocodile inhabits africa
(habitatOfOrganism Cheetah Africa) Geography.kif 4928-4928 Cheetah inhabits africa
(habitatOfOrganism Badger NorthAmerica) Geography.kif 4934-4934 Badger inhabits north america
(habitatOfOrganism Bear NorthAmerica) Geography.kif 4935-4935 Bear inhabits north america
(habitatOfOrganism Llama NorthAmerica) Geography.kif 4936-4936 Llama inhabits north america
(habitatOfOrganism Skunk NorthAmerica) Geography.kif 4937-4937 Skunk inhabits north america
(habitatOfOrganism Parrot NorthAmerica) Geography.kif 4938-4938 Parrot inhabits north america
(habitatOfOrganism Reindeer NorthAmerica) Geography.kif 4939-4939 Reindeer inhabits north america
(habitatOfOrganism Crocodile NorthAmerica) Geography.kif 4940-4940 Crocodile inhabits north america

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners