Measuring
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3133-3134 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12119-12120 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12118-12118 | Mesurer est une sous-classe de calculer |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6322-6322 | Les valeurs retourn�es par MeasuringProcessFn sont des sous-classes de mesurer |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1730-1730 | SurfaceWindSpeedMeasuring est une sous-classe de mesurer |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1150-1150 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1517-1517 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 828-828 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 360-360 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 363-363 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2512-2512 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 780-780 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 365-365 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 399-399 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 849-849 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 364-364 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2763-2777 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1260-1269 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1589-1597 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2886-2892 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2922-2928 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12122-12129 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1441-1451 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1477-1484 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1488-1496 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1426-1432 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2910-2916 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1716-1720 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1769-1775 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25530-25544 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16004-16010 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2796-2804 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3051-3060 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3303-3313 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3340-3348 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1271-1280 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1575-1587 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4019-4028 |