SUMO View all facts Glossary Help |
unparented > subsumingExternalConcept |
subsumingExternalConcept | ||||
subject | fact |
subsumingExternalConcept | documentation (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 ?STRING | |
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> |