TimeDependentQuantity
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1800-1803 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2121-2126 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 415-418 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2120-2120 | 子類 TimeDependentQuantity and UnaryConstantFunctionQuantity |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6835-6835 | 子類 FrequencyMeasure and TimeDependentQuantity |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 884-884 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 970-970 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 560-560 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 90-90 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 93-93 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2245-2245 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 512-512 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 127-127 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 581-581 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 94-94 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7511-7515 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 242-244 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 258-260 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 250-252 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7049-7051 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6921-6923 |
|