inhabits |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3373-3374 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14372-14374 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14370-14370 | 域 棲息, 1 and Organism |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14371-14371 | 域 棲息, 2 and Object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14369-14369 | 例 棲息 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14368-14368 | 例 棲息 and BinaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 521-521 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 526-526 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 308-308 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 143-143 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2076-2076 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 260-260 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 314-314 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 677-677 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 182-182 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 329-329 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 336-336 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 290-290 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14384-14384 | 子關係 家 and 棲息 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14391-14391 | 子關係 停留 and 棲息 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 522-522 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30073-30073 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30072-30072 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30071-30071 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 291-291 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 26-47 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14472-14476 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14431-14435 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14484-14488 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 70-78 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 92-99 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14376-14382 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | People.kif 156-187 | 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 每一千的 migrants and RealNumber 等於 減法 Integer and Integer and 1 例 Entity and 年 Integer 持有期間 年 and 等於 GeopoliticalArea 的 population and RealNumber 等於 部 RealNumber and 1000 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間 年 and 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間 年 and 棲息 SymbolicString and GeopoliticalArea 等於 減法 Integer and Integer and RealNumber 等於 部 RealNumber and RealNumber and RealNumber |
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 30120-30127 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30104-30112 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 26-47 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25035-25044 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17352-17368 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1928-1937 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30388-30395 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14418-14423 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6042-6046 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15743-15753 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14573-14578 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30636-30643 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6997-7004 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6280-6282 |
statement |