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 2086-2087 | |
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 2084-2084 | Time duration is a subclass of time measure |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7109-7109 | Day duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8869-8869 | Decade duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7117-7117 | Hour duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7125-7125 | Minute duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7142-7142 | Month duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6734-6734 | Second duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7133-7133 | Week duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7160-7160 | Year duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 878-878 | Year duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 958-958 | Year duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 554-554 | Year duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 84-84 | Year duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 87-87 | Year duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2239-2239 | Year duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 506-506 | Year duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 89-89 | Year duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 121-121 | Year duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 380-380 | Year duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 575-575 | Year duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 88-88 | Year duration is an instance of time duration |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1275-1275 | The number 2 argument of Acceleration fn is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2088-2088 | The number 2 argument of rotation fn is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6683-6683 | The number 2 argument of speed is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2786-2786 | The number 2 argument of time interval list is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15408-15408 | The number 2 argument of time period function is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6694-6694 | The number 2 argument of velocity is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7564-7564 | The number 2 argument of age is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Law.kif 549-549 | The number 1 argument of age of majority for process is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Music.kif 330-330 | The number 2 argument of album length is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1456-1456 | The number 2 argument of average precipitation for period is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1296-1296 | The number 2 argument of batch inter arrival is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1290-1290 | The number 2 argument of batch latency is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2280-2280 | The number 2 argument of collect rate is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1097-1097 | The number 3 argument of daylight hours total is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1354-1354 | The number 2 argument of dependency delay is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1531-1531 | The number 2 argument of disease incubation is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1532-1532 | The number 3 argument of disease incubation is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7988-7988 | The number 2 argument of duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7997-7997 | The number 2 argument of frequency is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1622-1622 | The number 2 argument of granularity is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2704-2704 | The number 2 argument of measuring list duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2686-2686 | The number 2 argument of measuring list interval is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Military.kif 906-906 | The number 2 argument of military age is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 757-757 | The number 3 argument of minimum payment is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18353-18353 | The number 3 argument of monetary wage is an instance of time duration |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
![]() |
![]() |
![]() |