TreeView Knowledge Base Browser

appearance as argument number 1

(disjoint DomesticAnimal Human)	Mid-level-ontology.kif 20017-20017	不相交的家畜 and Human
(documentation DomesticAnimal EnglishLanguage "Any Animal that is kept by a Human, as a pet, as livestock, for exhibition, etc.")	Mid-level-ontology.kif 20018-20019
(externalImage DomesticAnimal "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2f/ Rabbit_%28agouti%29_02.jpg")	pictureList.kif 948-948
(externalImage DomesticAnimal "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 2b/ Livestock_7_lamb.jpg/ 200px-Livestock_7_lamb.jpg")	pictureList-ImageNet.kif 49-49
(subclass DomesticAnimal Animal)	Mid-level-ontology.kif 20016-20016	子類家畜 and Animal

appearance as argument number 2

(subclass Cattle DomesticAnimal)	Mid-level-ontology.kif 20192-20192	子類牛 and 家畜
(subclass DomesticCat DomesticAnimal)	Mid-level-ontology.kif 20081-20081	子類家貓 and 家畜
(subclass DomesticDog DomesticAnimal)	Mid-level-ontology.kif 20093-20093	子類家養的狗 and 家畜
(subclass Ferret DomesticAnimal)	Mid-level-ontology.kif 30574-30574	子類 Ferret and 家畜
(subclass GuineaPig DomesticAnimal)	Mid-level-ontology.kif 30592-30592	子類 GuineaPig and 家畜
(subclass Hamster DomesticAnimal)	Mid-level-ontology.kif 30604-30604	子類 Hamster and 家畜
(subclass Livestock DomesticAnimal)	Economy.kif 4887-4887	子類家畜 and 家畜
(subclass Mule DomesticAnimal)	Mid-level-ontology.kif 20159-20159	子類馬騾 and 家畜
(subclass Sheep DomesticAnimal)	Mid-level-ontology.kif 20178-20178	子類羊 and 家畜
(termFormat ChineseLanguage DomesticAnimal "家畜")	domainEnglishFormat.kif 20124-20124
(termFormat ChineseTraditionalLanguage DomesticAnimal "家畜")	domainEnglishFormat.kif 20123-20123
(termFormat EnglishLanguage DomesticAnimal "domestic animal")	domainEnglishFormat.kif 20122-20122

antecedent

(=>
    (instance ?ANIMAL DomesticAnimal)
    (exists (?KEEP ?PERSON)
        (and
            (instance ?KEEP Keeping)
            (agent ?KEEP ?PERSON)
            (instance ?PERSON Human)
            (patient ?KEEP ?ANIMAL))))

Mid-level-ontology.kif 20021-20028

例 Entity and 家畜
Process AutonomousAgent 例 Process and Keeping agent Process and AutonomousAgent 例 AutonomousAgent and Human 患者 Process and Entity

consequent

(=> (and (instance ?POLICY NoPetsPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (deprivesNorm ?AGENT (exists (?PET) (and (instance ?PET DomesticAnimal) (located ?PET ?LOC))) Permission))	Hotel.kif 2577-2586	例 Policy and NoPetsPolicy Policy covers Object Organization enacts policy Policy Organization 對允許剝奪規範 entity 例 entity and 家畜位於 entity and Object
(=> (and (instance ?POLICY PetPolicy) (policyLocationCoverage ?POLICY ?LOC)) (or (containsInformation ?POLICY (modalAttribute (exists (?PET1) (and (instance ?PET1 DomesticAnimal) (located ?PET1 ?LOC))) Permission)) (containsInformation ?POLICY (modalAttribute (exists (?PET2) (and (instance ?PET2 DomesticAnimal) (located ?PET2 ?LOC))) Prohibition))))	Hotel.kif 2512-2528	例 Policy and PetPolicy Policy covers Object 包含信息 Policy and 模態屬性 entity 例 entity and 家畜位於 entity and Object and 允許包含信息 Policy and 模態屬性 entity 例 entity and 家畜位於 entity and Object and 禁令
(=> (and (instance ?POLICY PetsAllowedPolicy) (policyLocationCoverage ?POLICY ?LOC) (policyOwner ?AGENT ?POLICY)) (confersNorm ?AGENT (exists (?PET) (and (instance ?PET DomesticAnimal) (located ?PET ?LOC))) Permission))	Hotel.kif 2561-2570	例 Policy and PetsAllowedPolicy Policy covers Object Organization enacts policy Policy Organization confers 規範 entity 例 entity and 家畜位於 entity and Object 對於允許
(=> (and (instance ?W Wagon) (instance ?T Transportation) (instrument ?T ?W)) (exists (?P) (and (instance ?T Pulling) (agent ?T ?P) (patient ?T ?W) (or (instance ?P DomesticAnimal) (instance ?P Vehicle)))))	Transportation.kif 1852-1864	例 Object and 車皮例 Process and Transportation 儀器 Process and Object AutonomousAgent 例 Process and 拉 agent Process and AutonomousAgent 患者 Process and Object 例 AutonomousAgent and 家畜例 AutonomousAgent and 車輛
(=> (attribute ?FEED Fodder) (hasPurpose ?FEED (exists (?ANIMAL ?EAT) (and (instance ?ANIMAL DomesticAnimal) (instance ?EAT Eating) (agent ?EAT ?ANIMAL) (patient ?EAT ?FEED)))))	Mid-level-ontology.kif 20051-20059	attribute Object and 飼料有目的 Object and entity entity 例 entity and 家畜例 entity and Eating agent entity and entity 患者 entity and Object
(=> (attribute ?X Fodder) (hasPurpose ?X (exists (?H) (and (instance ?H Harvesting) (result ?H ?X) (instance ?X OrganicObject) (instance ?X (FoodForFn DomesticAnimal))))))	Mid-level-ontology.kif 20040-20049	attribute Object and 飼料有目的 Object and entity 例 entity and 收穫結果 entity and Object 例 Object and OrganicObject 例 Object and food for 家畜
(=> (attribute ?X ForageCrop) (hasPurpose ?X (exists (?A) (and (instance ?A Agriculture) (result ?A ?X) (instance ?X Plant) (instance ?X (FoodForFn DomesticAnimal))))))	Economy.kif 4809-4818	attribute Object and 飼料作物有目的 Object and entity 例 entity and 農業結果 entity and Object 例 Object and Plant 例 Object and food for 家畜
(=> (habitatOfOrganism ?O ?L) (not (subclass ?O DomesticAnimal)))	Mid-level-ontology.kif 30385-30388	Organism inhabits GeographicArea 子類 Organism and 家畜
(=> (instance ?KENNEL Kennel) (hasPurpose ?KENNEL (exists (?ANIMAL ?CONFINING) (and (instance ?ANIMAL DomesticAnimal) (instance ?CONFINING Confining) (patient ?CONFINING ?ANIMAL) (eventLocated ?CONFINING ?KENNEL)))))	Mid-level-ontology.kif 25352-25360	例 Physical and Kennel 有目的 Physical and entity entity 例 entity and 家畜例 entity and Confining 患者 entity and entity entity 是 located 在 Physical

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

KB Term:			Term intersection

English Word: