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

Formal Language: 



Term 1: Term 2:

(subclass InternalAttribute Attribute) Merge.kif 1750-1750
(subclass TrackGauge InternalAttribute) Transportation.kif 383-383
(subclass DeviceStateAttribute InternalAttribute) Mid-level-ontology.kif 1819-1819
(subclass LinguisticAttribute InternalAttribute) Mid-level-ontology.kif 18625-18625
(subclass BreakabilityAttribute InternalAttribute) Mid-level-ontology.kif 19038-19038
(subclass PhysicalAttribute InternalAttribute) Merge.kif 1756-1756
(subclass PhysicalState InternalAttribute) Merge.kif 17294-17294
(subclass StructureAttribute InternalAttribute) Merge.kif 17467-17467
(subclass SaturationAttribute InternalAttribute) Merge.kif 17729-17729
(subclass BiologicalAttribute InternalAttribute) Merge.kif 17767-17767
(subclass TerrainAttribute InternalAttribute) Geography.kif 1740-1740
(subclass BiodiversityAttribute InternalAttribute) Geography.kif 2603-2603
(subclass VolcanoStatus InternalAttribute) Geography.kif 3986-3986
(subclass SolubilityAttribute InternalAttribute) Geography.kif 7022-7022
(subclass LexiconCategory InternalAttribute) engineering.kif 44-44
(subclass EquationAttribute InternalAttribute) engineering.kif 208-208
(subclass AlgebroDifferentialAttribute InternalAttribute) engineering.kif 228-228
(subclass PhysicalDomain InternalAttribute) engineering.kif 253-253
(subclass MultipoleAttribute InternalAttribute) engineering.kif 318-318
(subclass Nonlinear InternalAttribute) engineering.kif 702-702
(subclass Backlashless InternalAttribute) engineering.kif 708-708
(subclass Brushless InternalAttribute) engineering.kif 712-712
(subclass Autonomous InternalAttribute) engineering.kif 722-722
(subclass WebDocumentAttribute InternalAttribute) engineering.kif 1368-1368


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