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