|
|
   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 2075-2076 | |
| 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 2073-2073 | Dur�e temporel est une sous-classe de mesure temporel |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7084-7084 | DayDuration est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8778-8778 | DecadeDuration est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7092-7092 | HourDuration est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7100-7100 | MinuteDuration est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7117-7117 | MonthDuration est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6709-6709 | SecondDuration est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7108-7108 | WeekDuration est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7135-7135 | YearDuration est une instance de dur�e temporel |
| 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 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 554-554 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 84-84 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 87-87 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2239-2239 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 506-506 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 89-89 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 121-121 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 575-575 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 88-88 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1275-1275 | Le nombre 2 argument de AccelerationFn est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2110-2110 | Le nombre 2 argument de RotationFn est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6658-6658 | Le nombre 2 argument de SpeedFn est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1953-1953 | Le nombre 2 argument de TimeIntervalListFn est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14036-14036 | Le nombre 2 argument de TimePeriodFn est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6669-6669 | Le nombre 2 argument de VelocityFn est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7519-7519 | Le nombre 2 argument de age est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 543-543 | Le nombre 1 argument de ageOfMajorityForProcess est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 330-330 | Le nombre 2 argument de albumLength est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1217-1217 | Le nombre 2 argument de averagePrecipitationForPeriod est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1187-1187 | Le nombre 2 argument de batchInterArrival est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1181-1181 | Le nombre 2 argument de batchLatency est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2148-2148 | Le nombre 2 argument de collectRate est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 858-858 | Le nombre 3 argument de daylightHoursTotal est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1245-1245 | Le nombre 2 argument de dependencyDelay est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1531-1531 | Le nombre 2 argument de diseaseIncubation est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1532-1532 | Le nombre 3 argument de diseaseIncubation est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7925-7925 | Le nombre 2 argument de duration est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7934-7934 | Le nombre 2 argument de frequency est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1504-1504 | Le nombre 2 argument de granularity est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1871-1871 | Le nombre 2 argument de measuringListDuration est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1853-1853 | Le nombre 2 argument de measuringListInterval est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 838-838 | Le nombre 2 argument de militaryAge est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 755-755 | Le nombre 3 argument de minimumPayment est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16965-16965 | Le nombre 3 argument de monetaryWage est une instance de dur�e temporel |
| 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 6400-6404 |
|
| 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 |
|
|
|