YearDuration
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2585-2585 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7136-7137 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1292-1292 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7135-7135 | 例 年持續時間 and TimeDuration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7134-7134 | 例 年持續時間 and UnitOfDuration |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8740-8740 | 相關的內部概念 年 and 年持續時間 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63751-63751 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63750-63750 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63749-63749 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23889-23903 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1075-1084 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1062-1073 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1003-1012 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 990-1001 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 342-348 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 219-225 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 269-274 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 392-397 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 311-318 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1497-1502 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 852-860 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 840-850 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 573-588 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 554-571 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1176-1189 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1120-1130 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1052-1060 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1040-1050 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 980-988 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 968-978 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1078-1082 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 193-199 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 375-380 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 294-299 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1092-1103 | 包含信息 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1160-1174 | 包含信息 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7139-7141 | 等於 測量 1 and 年持續時間 and 測量 365 and 一天長度 |