element |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2289-2290 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5417-5419 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 957-959 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5414-5414 | 域 元件, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5415-5415 | 域 元件, 2 and Set |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5412-5412 | 例 元件 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5411-5411 | 例 元件 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5413-5413 | 子關係 元件 and 例 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 488-488 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 493-493 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 285-285 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 90-90 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2066-2066 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 237-237 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 291-291 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 633-633 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 130-130 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 306-306 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 312-312 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 195-195 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1282-1282 | 相關的內部概念 會員 and 元件 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21792-21792 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 489-489 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21791-21791 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21790-21790 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 196-196 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5421-5425 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5405-5409 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1452-1457 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1127-1140 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 147-154 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 841-862 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 346-361 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 364-378 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12014-12026 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1696-1704 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1902-1914 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 479-490 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31316-31323 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31179-31184 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31112-31117 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31157-31162 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31091-31096 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31060-31065 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31011-31016 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31208-31213 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31348-31353 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31230-31235 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31273-31278 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 599-604 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 522-538 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1127-1140 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 147-154 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12046-12062 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30030-30060 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 317-332 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5399-5403 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 45-52 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11437-11442 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 103-108 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 110-117 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5532-5535 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5520-5524 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1691-1694 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4285-4288 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 615-620 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1727-1739 |
|