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

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