No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 903-903 |
JointChiefsOfStaff est une instance de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 883-883 |
JointStaff est une instance de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1993-1993 |
NativityMagi est une instance de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1950-1950 |
TwelveApostles est une instance de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8040-8040 |
Le domaine de CitizenryFn est une instance de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8029-8029 |
Le domaine de ResidentFn est une instance de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16244-16244 |
Groupe de personnes de la m�me tranche d'�ge est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16592-16592 |
BeliefGroup est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16096-16096 |
CriminalGang est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15963-15963 |
DramaticCast est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16587-16587 |
Groupe ethnique est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16259-16259 |
Family groupe familiale est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16084-16084 |
Jury est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18527-18527 |
MusicalGroup est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30627-30627 |
NationalPerson est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26076-26076 |
Public est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16272-16272 |
SocialUnit est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7524-7524 |
SportsTeam est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26814-26814 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26813-26813 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26812-26812 |
|