Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Female

 Sigma KEE - Female
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 18114-18115
No TPTP formula. May not be expressible in strict first order. Merge.kif 18113-18113 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 18125-18125 Male est l'oppos� de Female
No TPTP formula. May not be expressible in strict first order. Merge.kif 18105-18105 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 16493-16497
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 average liste and nombre r�el
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 20200-20204 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 20232-20236 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 12859-12863
No TPTP formula. May not be expressible in strict first order. Merge.kif 18117-18122
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24131-24137
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23880-23887
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23934-23936
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19844-19846
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 16444-16446
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24010-24017
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12647-12651
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10870-10877
No TPTP formula. May not be expressible in strict first order. Merge.kif 14659-14661
No TPTP formula. May not be expressible in strict first order. Merge.kif 16414-16416