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 | 例 女 and SexAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18147-18147 | 相反的屬性 男 and 女 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18127-18127 | 女 是所有的 SexAttribute 的 attributes |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1412-1412 | 子屬性 QueenConsort and 女 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1408-1408 | 子屬性 QueenRegnant and 女 |
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 | 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 的 female 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例 列表長度 List and Integer ListITEM
|
No TPTP formula. May not be expressible in strict first order. | People.kif 206-223 | 等於 GeopoliticalArea 的 male 對母性比率 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 女 棲息 SymbolicString and GeopoliticalArea 等於 部 Integer and Integer and RealNumber |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20199-20203 | 例 Object and 公牛 例 Object and 牛 attribute Object and 女 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20231-20235 | 例 Object and 母雞 例 Object and 雞 attribute Object and 女 |
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 | 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 每個女人生的 children and 基數 卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and SymbolicString agent entity and entity 例 entity and Human attribute entity and 女 持有期間 年 and 棲息 entity and GeopoliticalArea |