| TimeDuration(Duracao Temporal) | |
| 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 | Duracao Temporal e' uma sub-classe de Medida Temporal |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7085-7085 | DayDuration e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8792-8792 | DecadeDuration e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7093-7093 | HourDuration e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7101-7101 | MinuteDuration e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7118-7118 | MonthDuration e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6710-6710 | SecondDuration e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7109-7109 | WeekDuration e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7136-7136 | YearDuration e' uma instancia de Duracao Temporal |
| 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 | O argumento numero 2 de AccelerationFn e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2087-2087 | O argumento numero 2 de RotationFn e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6659-6659 | O argumento numero 2 de SpeedFn e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1940-1940 | O argumento numero 2 de TimeIntervalListFn e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14064-14064 | O argumento numero 2 de TimePeriodFn e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6670-6670 | O argumento numero 2 de VelocityFn e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7520-7520 | O argumento numero 2 de age e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 543-543 | O argumento numero 1 de ageOfMajorityForProcess e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 330-330 | O argumento numero 2 de albumLength e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1205-1205 | O argumento numero 2 de averagePrecipitationForPeriod e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1187-1187 | O argumento numero 2 de batchInterArrival e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1181-1181 | O argumento numero 2 de batchLatency e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2148-2148 | O argumento numero 2 de collectRate e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 846-846 | O argumento numero 3 de daylightHoursTotal e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1245-1245 | O argumento numero 2 de dependencyDelay e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1531-1531 | O argumento numero 2 de diseaseIncubation e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1532-1532 | O argumento numero 3 de diseaseIncubation e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7939-7939 | O argumento numero 2 de duration e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7948-7948 | O argumento numero 2 de frequency e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1504-1504 | O argumento numero 2 de granularity e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1858-1858 | O argumento numero 2 de measuringListDuration e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1840-1840 | O argumento numero 2 de measuringListInterval e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 829-829 | O argumento numero 2 de militaryAge e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 755-755 | O argumento numero 3 de minimumPayment e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16993-16993 | O argumento numero 3 de monetaryWage e' uma instancia de Duracao Temporal |
| 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 |
|
|
|
|