DomesticDog - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20095-20096
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 949-949
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20094-20094	子類家養的狗 and Canine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20093-20093	子類家養的狗 and 家畜

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20121-20121	子類 Dachshund and 家養的狗
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20105-20105	子類 Poodle and 家養的狗
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20098-20098	子類 Puppy and 家養的狗
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20114-20114	子類 Sheepdog and 家養的狗
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20136-20136
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20135-20135
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20134-20134