Female |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4018-4018 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18136-18137 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18135-18135 | Female est une instance de attribut de sexe |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18147-18147 | Male est l'oppos� de Female |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18127-18127 | exhaustiveAttribute attribut de sexe, Female, Male and NonBinaryGender |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1412-1412 | QueenConsort est un sous-attribut de Female |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1408-1408 | QueenRegnant est un sous-attribut de Female |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23492-23492 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23491-23491 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23490-23490 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 172-187 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 206-221 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16515-16519 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1267-1273 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 365-370 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | People.kif 403-436 | Ann�e est une instance de l' ann�e nombre entier FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM
|
No TPTP formula. May not be expressible in strict first order. | People.kif 206-223 | MaleToFemaleRatioFn secteur g�opolitique est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre entier est nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20199-20203 | Objet est une instance de Bull objet est une instance de Cattle Female est un attribut de objet |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20231-20235 | Objet est une instance de Hen objet est une instance de Chicken Female est un attribut de objet |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12858-12862 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18139-18144 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24130-24136 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23879-23886 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23933-23935 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19843-19845 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1243-1254 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1042-1050 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16466-16468 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24009-24016 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12646-12650 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10869-10876 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14681-14683 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16436-16438 |
statement |
No TPTP formula. May not be expressible in strict first order. | People.kif 456-469 | Ann�e est une instance de l' ann�e nombre entier ChildrenBornPerWomanFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique |