No TPTP formula. May not be expressible in strict first order. | Merge.kif 16234-16234 | GroupOfPeople e' uma sub-classe de Grupo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7524-7524 | SportsTeam e' uma sub-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15963-15963 | DramaticCast e' uma sub-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16084-16084 | Jury e' uma sub-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16096-16096 | CriminalGang e' uma sub-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18527-18527 | MusicalGroup e' uma sub-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26076-26076 | Public e' uma sub-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30627-30627 | NationalPerson e' uma sub-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16244-16244 | Grupo Etario e' uma sub-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16259-16259 | Grupo Familiar e' uma sub-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16272-16272 | SocialUnit e' uma sub-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16587-16587 | Grupo Etnico e' uma sub-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16592-16592 | BeliefGroup e' uma sub-classe de GroupOfPeople |