SUMO   View all facts   Glossary   Help
unparented > synonymousExternalConcept
Next unparented: synonymousInternalConcept    Up: unparented    Previous unparented: surface   

synonymousExternalConcept
subjectfact 
synonymousExternalConceptdocumentation (synonymousExternalConcept ?STRING ?THING ?LANGUAGE) means that the SUMO concept ?THING has the same meaning as ?STRING in ?LANGUAGE2001-11-30 13:35:23.0
has axiom 
(=>
    (subsumedExternalConcept ?STRING ?THING ?LANGUAGE)
    (not
       (or
          (subsumingExternalConcept ?STRING ?THING ?LANGUAGE)
 	   (synonymousExternalConcept ?STRING ?THING ?LANGUAGE))))
2001-11-30 13:35:23.0
has axiom 
(=>
    (subsumingExternalConcept ?STRING ?THING ?LANGUAGE)
    (not
       (or
          (subsumedExternalConcept ?STRING ?THING ?LANGUAGE)
 	   (synonymousExternalConcept ?STRING ?THING ?LANGUAGE))))
2001-11-30 13:35:23.0
has axiom 
(=>
    (synonymousExternalConcept ?STRING ?THING ?LANGUAGE)
    (not
       (or
          (subsumedExternalConcept ?STRING ?THING ?LANGUAGE)
 	   (subsumingExternalConcept ?STRING ?THING ?LANGUAGE))))
2001-11-30 13:35:23.0