| TimeDuration | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1781-1782 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2069-2070 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 394-395 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2067-2067 | 子類 TimeDuration and TimeMeasure |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7075-7075 | 例 一天長度 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8826-8826 | 例 DecadeDuration and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7083-7083 | 例 小時 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7091-7091 | 例 分鐘 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7108-7108 | 例 月持續時間 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6700-6700 | 例 第二期 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7099-7099 | 例 週持續時間 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7126-7126 | 例 年持續時間 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 878-878 | 例 年持續時間 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 958-958 | 例 年持續時間 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 554-554 | 例 年持續時間 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 84-84 | 例 年持續時間 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 87-87 | 例 年持續時間 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2239-2239 | 例 年持續時間 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 506-506 | 例 年持續時間 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 89-89 | 例 年持續時間 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 121-121 | 例 年持續時間 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 380-380 | 例 年持續時間 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 575-575 | 例 年持續時間 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 88-88 | 例 年持續時間 and TimeDuration |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1275-1275 | 域 AccelerationFn, 2 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2088-2088 | 域 RotationFn, 2 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6649-6649 | 域 速度, 2 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1939-1939 | 域 TimeIntervalListFn, 2 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15418-15418 | 域 TimePeriodFn, 2 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6660-6660 | 域 速度, 2 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7529-7529 | 域 年齡, 2 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 543-543 | 域 ageOfMajorityForProcess, 1 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 330-330 | 域 albumLength, 2 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1205-1205 | 域 期間平均降水量, 2 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1293-1293 | 域 批次到達, 2 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1287-1287 | 域 批量延遲, 2 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2254-2254 | 域 收集率, 2 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 846-846 | 域 白天的總時數, 3 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1351-1351 | 域 依賴延遲, 2 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1531-1531 | 域 疾病孵化, 2 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1532-1532 | 域 疾病孵化, 3 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7945-7945 | 域 持續時間, 2 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7954-7954 | 域 頻率, 2 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1610-1610 | 域 粒度, 2 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1857-1857 | 域 measuringListDuration, 2 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1839-1839 | 域 measuringListInterval, 2 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 896-896 | 域 軍事時代, 2 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 755-755 | 域 最低付費, 3 and TimeDuration |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18363-18363 | 域 貨幣工資, 3 and TimeDuration |
| 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. | Merge.kif 6391-6395 |
|
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 505-511 | |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 459-465 |
|
|
|