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

Formal Language: 



Term 1: Term 2:

(subclass InternalAttribute Attribute) Merge.kif 1804-1804
(subclass TrackGauge InternalAttribute) Transportation.kif 383-383
(subclass DeviceStateAttribute InternalAttribute) Mid-level-ontology.kif 1860-1860
(subclass LinguisticAttribute InternalAttribute) Mid-level-ontology.kif 19250-19250
(subclass BreakabilityAttribute InternalAttribute) Mid-level-ontology.kif 19664-19664
(subclass PhysicalAttribute InternalAttribute) Merge.kif 1810-1810
(subclass PhysicalState InternalAttribute) Merge.kif 17541-17541
(subclass StructureAttribute InternalAttribute) Merge.kif 17723-17723
(subclass SaturationAttribute InternalAttribute) Merge.kif 17985-17985
(subclass BiologicalAttribute InternalAttribute) Merge.kif 18023-18023
(subclass TerrainAttribute InternalAttribute) Geography.kif 1737-1737
(subclass BiodiversityAttribute InternalAttribute) Geography.kif 2600-2600
(subclass VolcanoStatus InternalAttribute) Geography.kif 4064-4064
(subclass SolubilityAttribute InternalAttribute) Geography.kif 7334-7334
(subclass LexiconCategory InternalAttribute) engineering.kif 44-44
(subclass EquationAttribute InternalAttribute) engineering.kif 209-209
(subclass AlgebroDifferentialAttribute InternalAttribute) engineering.kif 229-229
(subclass PhysicalDomain InternalAttribute) engineering.kif 254-254
(subclass MultipoleAttribute InternalAttribute) engineering.kif 319-319
(subclass Nonlinear InternalAttribute) engineering.kif 705-705
(subclass Backlashless InternalAttribute) engineering.kif 711-711
(subclass Brushless InternalAttribute) engineering.kif 715-715
(subclass Autonomous InternalAttribute) engineering.kif 725-725
(subclass WebDocumentAttribute InternalAttribute) engineering.kif 1369-1369


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