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 20096-20097
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 20095-20095	家养的狗是犬的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20094-20094	家养的狗是家畜的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20122-20122	Dachshund 是家养的狗的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20106-20106	Poodle 是家养的狗的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20099-20099	Puppy 是家养的狗的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20115-20115	Sheepdog 是家养的狗的 subclass
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