SUMO   View all facts   Glossary   Help
unparented > subsumingExternalConcept
Next unparented: superficialPart    Up: unparented    Previous unparented: subsumedExternalConcept   

subsumingExternalConcept
subjectfact 
subsumingExternalConceptdocumentation (subsumingExternalConcept ?STRING ?THING ?LANGUAGE) means that the SUMO concept ?THING subsumes the meaning of ?STRING in ?LANGUAGE, i.e. the concept ?THING is broader in meaning than ?STRING2001-11-30 13:35:22.0
has axiom 
(=>
    (subsumedExternalConcept ?STRING ?THING ?LANGUAGE)
    (not
       (or
          (subsumingExternalConcept ?STRING ?THING ?LANGUAGE)
 	   (synonymousExternalConcept ?STRING ?THING ?LANGUAGE))))
2001-11-30 13:35:22.0
has axiom 
(=>
    (subsumingExternalConcept ?STRING ?THING ?LANGUAGE)
    (not
       (or
          (subsumedExternalConcept ?STRING ?THING ?LANGUAGE)
 	   (synonymousExternalConcept ?STRING ?THING ?LANGUAGE))))
2001-11-30 13:35:22.0
has axiom 
(=>
    (synonymousExternalConcept ?STRING ?THING ?LANGUAGE)
    (not
       (or
          (subsumedExternalConcept ?STRING ?THING ?LANGUAGE)
 	   (subsumingExternalConcept ?STRING ?THING ?LANGUAGE))))
2001-11-30 13:35:22.0