UnitOfDuration(unit of duration) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2431-2433 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6366-6369 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1122-1124 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6364-6364 | Unit of duration is a subclass of non composite unit of measure |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20632-20632 | Century duration is an instance of unit of duration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7108-7108 | Day duration is an instance of unit of duration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8868-8868 | Decade duration is an instance of unit of duration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7116-7116 | Hour duration is an instance of unit of duration |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15051-15051 | Millennium duration is an instance of unit of duration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7124-7124 | Minute duration is an instance of unit of duration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7141-7141 | Month duration is an instance of unit of duration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6733-6733 | Second duration is an instance of unit of duration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7132-7132 | Week duration is an instance of unit of duration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7159-7159 | Year duration is an instance of unit of duration |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65649-65649 | Year duration is an instance of unit of duration |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1044-1059 |
|
![]() |
![]() |