TreeView Knowledge Base Browser

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 32299-32304
(domain habitatOfOrganism 2 GeographicArea)	Mid-level-ontology.kif 32297-32297	habitatOfOrganism の数値 2 引数は地理的地域の instance では
(domainSubclass habitatOfOrganism 1 Organism)	Mid-level-ontology.kif 32296-32296	habitatOfOrganism の数値 1 引数は物のsubclass では
(instance habitatOfOrganism BinaryPredicate)	Mid-level-ontology.kif 32295-32295	habitatOfOrganism は 2進述語の instance では

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 32306-32313	habitatOfOrganism 物 and 地理的地域ステートメント物I 物I は物の instance では物I は地理的地域に lives には Likely の modal force がある
(=> (habitatOfOrganism ?O ?L) (not (subclass ?O DomesticAnimal)))	Mid-level-ontology.kif 32315-32318	habitatOfOrganism 物 and 地理的地域物は DomesticAnimal の subclass では

appearance as argument number 0

(habitatOfOrganism Alligator China)	Mid-level-ontology.kif 21892-21892	habitatOfOrganism Alligator and China
(habitatOfOrganism Alligator UnitedStates)	Mid-level-ontology.kif 21891-21891	habitatOfOrganism Alligator and UnitedStates
(habitatOfOrganism Badger Africa)	Mid-level-ontology.kif 21907-21907	habitatOfOrganism Badger and Africa
(habitatOfOrganism Badger Asia)	Mid-level-ontology.kif 21906-21906	habitatOfOrganism Badger and Asia
(habitatOfOrganism Badger Europe)	Mid-level-ontology.kif 21905-21905	habitatOfOrganism Badger and Europe
(habitatOfOrganism Badger NorthAmerica)	Mid-level-ontology.kif 21904-21904	habitatOfOrganism Badger and NorthAmerica
(habitatOfOrganism Bear Asia)	Mid-level-ontology.kif 21921-21921	habitatOfOrganism Bear and Asia
(habitatOfOrganism Bear Europe)	Mid-level-ontology.kif 21920-21920	habitatOfOrganism Bear and Europe
(habitatOfOrganism Bear NorthAmerica)	Mid-level-ontology.kif 21919-21919	habitatOfOrganism Bear and NorthAmerica
(habitatOfOrganism Bear SouthAmerica)	Mid-level-ontology.kif 21922-21922	habitatOfOrganism Bear and SouthAmerica
(habitatOfOrganism Cheetah Africa)	Mid-level-ontology.kif 32504-32504	habitatOfOrganism Cheetah and Africa
(habitatOfOrganism Cheetah Asia)	Mid-level-ontology.kif 32503-32503	habitatOfOrganism Cheetah and Asia
(habitatOfOrganism Crocodile Africa)	Mid-level-ontology.kif 32482-32482	habitatOfOrganism Crocodile and Africa
(habitatOfOrganism Crocodile Asia)	Mid-level-ontology.kif 32480-32480	habitatOfOrganism Crocodile and Asia
(habitatOfOrganism Crocodile Australia)	Mid-level-ontology.kif 32483-32483	habitatOfOrganism Crocodile and Australia
(habitatOfOrganism Crocodile Europe)	Mid-level-ontology.kif 32479-32479	habitatOfOrganism Crocodile and Europe
(habitatOfOrganism Crocodile NorthAmerica)	Mid-level-ontology.kif 32481-32481	habitatOfOrganism Crocodile and NorthAmerica
(habitatOfOrganism Crocodile SouthAmerica)	Mid-level-ontology.kif 32484-32484	habitatOfOrganism Crocodile and SouthAmerica
(habitatOfOrganism Kangaroo Australia)	Mid-level-ontology.kif 21933-21933	habitatOfOrganism Kangaroo and Australia
(habitatOfOrganism Lemur Madagascar)	Mid-level-ontology.kif 32406-32406	habitatOfOrganism Lemur and Madagascar
(habitatOfOrganism Lion Africa)	Mid-level-ontology.kif 32290-32290	habitatOfOrganism Lion and Africa
(habitatOfOrganism Lion India)	Mid-level-ontology.kif 32291-32291	habitatOfOrganism Lion and India
(habitatOfOrganism Llama NorthAmerica)	Mid-level-ontology.kif 21942-21942	habitatOfOrganism Llama and NorthAmerica
(habitatOfOrganism Llama SouthAmerica)	Mid-level-ontology.kif 21941-21941	habitatOfOrganism Llama and SouthAmerica
(habitatOfOrganism Panda China)	Mid-level-ontology.kif 32423-32423	habitatOfOrganism Panda and China

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)

KB Term:			Term intersection

English Word: