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

Formal Language: 


Term 1: Term 2:

(subclass ContentBearingObject CorpuscularObject) Merge.kif 1322-1322
(subclass ContentBearingObject ContentBearingPhysical) Merge.kif 1323-1323
(subclass ShipRegistration ContentBearingObject) Transportation.kif 1087-1087
(subclass ShipRegister ContentBearingObject) Transportation.kif 1106-1106
(subclass ProcessState ContentBearingObject) QoSontology.kif 662-662
(subclass Feedback ContentBearingObject) QoSontology.kif 781-781
(subclass UniformResourceIdentifier ContentBearingObject) QoSontology.kif 1805-1805
(subclass UserAccount ContentBearingObject) QoSontology.kif 2166-2166
(subclass Compass ContentBearingObject) Mid-level-ontology.kif 2724-2724
(subclass SheetMusic ContentBearingObject) Mid-level-ontology.kif 15778-15778
(subclass HolidayCard ContentBearingObject) Mid-level-ontology.kif 16240-16240
(subclass Sign ContentBearingObject) Mid-level-ontology.kif 18506-18506
(subclass PlayingCard ContentBearingObject) Mid-level-ontology.kif 18512-18512
(subclass Descriptor ContentBearingObject) Mid-level-ontology.kif 26190-26190
(subclass DescriptorPart ContentBearingObject) Mid-level-ontology.kif 26207-26207
(subclass VisualContentBearingObject ContentBearingObject) Mid-level-ontology.kif 28111-28111
(subclass Document ContentBearingObject) Mid-level-ontology.kif 28287-28287
(subclass Recording ContentBearingObject) Merge.kif 1381-1381
(subclass Text ContentBearingObject) Merge.kif 15498-15498
(subclass ConstitutionDocument ContentBearingObject) Government.kif 646-646
(subclass MultipoleDiagram ContentBearingObject) engineering.kif 380-380
(subclass WebDocument ContentBearingObject) engineering.kif 1676-1676
(subclass Account ContentBearingObject) ComputingBrands.kif 4535-4535


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