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 8067-8067 |
Le domaine de CitizenryFn est une instance de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8056-8056 |
Le domaine de ResidentFn est une instance de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16315-16315 |
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 16663-16663 |
BeliefGroup est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16123-16123 |
CriminalGang est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15990-15990 |
DramaticCast est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16658-16658 |
Groupe ethnique est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16330-16330 |
Family groupe familiale est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16111-16111 |
Jury est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18554-18554 |
MusicalGroup est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30651-30651 |
NationalPerson est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26109-26109 |
Public est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16343-16343 |
SocialUnit est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7551-7551 |
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 |
|