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 16056-16056 Engineering component is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1209-1209 Casing is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1224-1224 Gun barrel is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1361-1361 Gun trigger is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1438-1438 Gun stock is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1454-1454 Handle is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1512-1512 Wing device is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1673-1673 Drive component is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1775-1775 Manifold is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1784-1784 Switch device is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2939-2939 Communication device is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3617-3617 Wire spring is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3622-3622 Wire line is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15272-15272 Hinge is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Merge.kif 16116-16116 Engineering connection is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. engineering.kif 737-737 Fluid power device is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. engineering.kif 757-757 Gear is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. engineering.kif 762-762 Gear train is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. engineering.kif 767-767 Gearbox is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. engineering.kif 771-771 Shaft is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. engineering.kif 779-779 Rotor is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. engineering.kif 789-789 Stator is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. engineering.kif 906-906 Fluid cylinder is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. engineering.kif 912-912 Valve is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. engineering.kif 1114-1114 Controller is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 962-962 System Management Controller is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2554-2554 Port is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2581-2581 Plug is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2706-2706 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