Device(appareil) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3618-3619 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16012-16013 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16011-16011 | Appareil est une sous-classe de artefact |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1875-1875 | Aerator est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2727-2727 | AnimalController est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2755-2755 | AnimalPoweredDevice est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16084-16084 | AttachingDevice est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26278-26278 | AudioRecorder est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2596-2596 | AutomobileMuffler est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3528-3528 | Axle est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1404-1404 | BallBearing est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2015-2015 | Barricade est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2843-2843 | Baton est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 538-538 | Brake est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 672-672 | BrakeCaliper est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 666-666 | BrakeDrum est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 677-677 | BrakePedal est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 660-660 | BrakeRotor est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1913-1913 | BrushOrComb est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1640-1640 | Cam est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13340-13340 | Camera est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3253-3253 | CanalLockGate est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30809-30809 | Carabiner est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15061-15061 | Chimney est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5582-5582 | CleaningDevice est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1791-1791 | Clutch est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1701-1701 | CombustionChamber est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2253-2253 | Compass est une sous-classe de appareil |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17911-17911 | Le nombre 1 argument de OperatingFn est une instance de appareil |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1380-1380 | Le nombre 1 argument de effectiveRange est une instance de appareil |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3620-3620 | Le nombre 1 argument de maxDeviceOperatingTemp est une instance de appareil |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3648-3648 | Le nombre 1 argument de maxDeviceStorageTemp est une instance de appareil |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3673-3673 | Le nombre 1 argument de minDeviceOperatingTemp est une instance de appareil |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3698-3698 | Le nombre 1 argument de minDeviceStorageTemp est une instance de appareil |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1727-1727 | Le nombre 1 argument de powerComponent est une instance de appareil |
No TPTP formula. May not be expressible in strict first order. | Music.kif 827-827 | Le nombre 1 argument de PlayingInstrumentFn est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24367-24367 | Le nombre 2 argument de equipmentCount est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24382-24382 | Le nombre 2 argument de equipmentType est une sous-classe de appareil |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1365-1371 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30103-30111 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1735-1739 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16015-16018 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16020-16027 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1826-1830 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2913-2931 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17918-17922 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1076-1080 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1100-1104 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16138-16143 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2748-2753 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1715-1725 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 36-47 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26935-26944 | |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 258-284 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1121-1131 |