| 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 2021-2022 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2019-2019 | 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 6994-6994 | Day duration is an instance of time duration |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8664-8664 | DecadeDuration is an instance of time duration |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7002-7002 | Hour duration is an instance of time duration |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7010-7010 | Minute duration is an instance of time duration |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7027-7027 | Month duration is an instance of time duration |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6619-6619 | Second duration is an instance of time duration |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7018-7018 | Week duration is an instance of time duration |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7045-7045 | Year duration is an instance of time duration |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 878-878 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 958-958 |
| 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 AccelerationFn is an instance of time duration |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2104-2104 | The number 2 argument of RotationFn is an instance of time duration |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6568-6568 | 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 1956-1956 | 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 13507-13507 | 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 6579-6579 | 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 7429-7429 | 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 591-591 | 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 328-328 | 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 1220-1220 | 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 1192-1192 | 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 1186-1186 | 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 2153-2153 | 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 862-862 | 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 1250-1250 | 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 1522-1522 | 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 1523-1523 | 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 7813-7813 | 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 7822-7822 | 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 1509-1509 | 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 1874-1874 | 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 1856-1856 | 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 838-838 | 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 754-754 | 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 16409-16409 | 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 |
|
|
|
|
|