| EngineeringComponent(Componente de Engenharia)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3636-3639 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16129-16136 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9184-9184 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8470-8470 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9185-9185 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16128-16128 | Componente de Engenharia e' uma sub-classe de Aparelho |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3703-3703 | Furniture e' disjunto de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 962-962 | AppleSystemManagementController e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 113-113 | ArtificialSatellite e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 288-288 | BroadcastingStation e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1202-1202 | CartridgeCase e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2932-2932 | CommunicationDevice e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2706-2706 | ComputerCable e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 596-596 | ComputerHardware e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2581-2581 | ComputerPlug e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2554-2554 | ComputerPort e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1114-1114 | Controller e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1666-1666 | DriveComponent e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16188-16188 | Conexao de Engenharia e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 906-906 | FluidCylinder e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 737-737 | FluidPowerDevice e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2215-2215 | Flywheel e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 757-757 | Gear e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 762-762 | GearTrain e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 767-767 | Gearbox e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1217-1217 | GunBarrel e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1431-1431 | GunStock e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1354-1354 | GunTrigger e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1447-1447 | Handle e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15299-15299 | Hinge e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1768-1768 | Manifold e' uma sub-classe de Componente de Engenharia |
| 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. | Merge.kif 16168-16168 | O argumento numero 1 de connectedEngineeringComponents e' uma instancia de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16169-16169 | O argumento numero 2 de connectedEngineeringComponents e' uma instancia de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16231-16231 | O argumento numero 2 de connectsEngineeringComponents e' uma instancia de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16232-16232 | O argumento numero 3 de connectsEngineeringComponents e' uma instancia de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16157-16157 | O argumento numero 1 de engineeringSubcomponent e' uma instancia de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16158-16158 | O argumento numero 2 de engineeringSubcomponent e' uma instancia de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 64-64 | O argumento numero 2 de models e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2854-2854 | O argumento numero 2 de protocolForConnector e' uma sub-classe de Componente de Engenharia |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16138-16143 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2735-2744 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16145-16153 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1381-1397 |
|
|
|
|