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 20191-20191	Cattle is a subclass of hoofed mammal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20192-20192	Cattle is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20196-20196	Cow is a subclass of cattle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20205-20205	Calf is a subclass of cattle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20214-20214	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