Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Food.kif 2906-2914	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of suet and another kind of object is a subclass of fat tissue, then every the other kind of object is initially part of a cattle or every the other kind of object is initially part of a sheep
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20192-20192	Cattle is a subclass of hoofed mammal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20193-20193	Cattle is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20197-20197	Cow is a subclass of cattle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20206-20206	Calf is a subclass of cattle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20215-20215	Bull is a subclass of cattle
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4903-4903	Guernsey cattle is a subclass of cattle
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4904-4904	Senepol cattle is a subclass of cattle