Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Merge.kif 15774-15774 Engineering component is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1166-1166 Casing is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1181-1181 Gun barrel is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1318-1318 Gun trigger is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1393-1393 Gun stock is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1409-1409 Handle is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1467-1467 Wing device is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1628-1628 Drive component is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1730-1730 Manifold is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1739-1739 Switch device is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2890-2890 Communication device is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3569-3569 Wire spring is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3574-3574 Wire line is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14716-14716 Hinge is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Merge.kif 15834-15834 Engineering connection is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. engineering.kif 730-730 Mechanical device is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. engineering.kif 735-735 Fluid power device is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. engineering.kif 777-777 Rotor is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. engineering.kif 1113-1113 Controller is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 930-930 System Management Controller is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2522-2522 Port is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2549-2549 Plug is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2674-2674 Cable is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 596-596 Computer hardware is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Communications.kif 113-113 Artificial satellite is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Communications.kif 288-288 Broadcasting station is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Communications.kif 381-381 Television receiver is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Cars.kif 1376-1376 Mechanical joint is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Cars.kif 2192-2192 Radiator is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Cars.kif 2232-2232 Flywheel is a subclass of engineering component


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners