occupiesPosition |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3852-3854 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17273-17276 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17270-17270 | 任职 的 1 数量 是 人类 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17271-17271 | 任职 的 2 数量 是 地位 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17272-17272 | 任职 的 3 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17269-17269 | 任职 是 三元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 551-551 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 556-556 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 323-323 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 202-202 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2091-2091 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 275-275 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 721-721 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 240-240 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 344-344 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 357-357 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 552-552 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41620-41620 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41619-41619 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41618-41618 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18728-18737 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18743-18753 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18759-18769 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18775-18785 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21024-21030 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18906-18910 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4511-4519 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2309-2317 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1346-1350 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1456-1462 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3652-3657 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18944-18948 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1447-1453 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1487-1494 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1478-1485 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20879-20883 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18933-18937 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2295-2299 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22753-22761 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4859-4863 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20911-20920 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17278-17280 | |
No TPTP formula. May not be expressible in strict first order. | People.kif 1290-1292 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21016-21018 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21008-21014 | |
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. | Government.kif 1850-1854 | |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 153-172 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4470-4478 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4480-4484 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1042-1055 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1806-1812 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16948-16961 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22753-22761 | |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 148-151 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1562-1564 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1566-1568 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17282-17285 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1615-1617 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20911-20920 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7673-7677 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 132-143 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 202-205 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 155-158 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 160-166 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 111-114 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 116-122 |