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 | The number 1 argument of occupies position is an instance of human |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17271-17271 | The number 2 argument of occupies position is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17272-17272 | The number 3 argument of occupies position is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17269-17269 | occupies position is an instance of ternary predicate |
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 |
|