SUMO   View all facts   Glossary   Help
unparented > synonymousExternalConcept
Next unparentedsynonymousInternalConcept    Upunparented    Previous unparentedsurface   

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