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 8039-8039 |
Le domaine de CitizenryFn est une instance de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8028-8028 |
Le domaine de ResidentFn est une instance de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16266-16266 |
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 16614-16614 |
BeliefGroup est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16095-16095 |
CriminalGang est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15962-15962 |
DramaticCast est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16609-16609 |
Groupe ethnique est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16281-16281 |
Family groupe familiale est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16083-16083 |
Jury est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18526-18526 |
MusicalGroup est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30615-30615 |
NationalPerson est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26064-26064 |
Public est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16294-16294 |
SocialUnit est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7523-7523 |
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 |
|