TimeDuration(dur�e temporel) |
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 7085-7085 | DayDuration est une instance de dur�e temporel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8792-8792 | DecadeDuration est une instance de dur�e temporel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7093-7093 | HourDuration est une instance de dur�e temporel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7101-7101 | MinuteDuration est une instance de dur�e temporel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7118-7118 | MonthDuration est une instance de dur�e temporel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6710-6710 | SecondDuration est une instance de dur�e temporel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7109-7109 | WeekDuration est une instance de dur�e temporel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7136-7136 | 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 2087-2087 | 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 6659-6659 | 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 1940-1940 | 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 14064-14064 | 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 6670-6670 | 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 7520-7520 | 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 1205-1205 | 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 846-846 | 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 7939-7939 | 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 7948-7948 | 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 1858-1858 | 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 1840-1840 | 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 829-829 | 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 16993-16993 | 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 6401-6405 |
|
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 |