SUMO
View all facts
Glossary
Help
unparented
> AttributeFn
Next unparented
:
completelyFills
Up
:
unparented
Previous unparented
:
attribute
AttributeFn
subject
fact
AttributeFn
has axiom
(
<=>
(
equal
(
ExtensionFn
?ATTRIBUTE) ?CLASS)
(
equal
(
AttributeFn
?CLASS) ?ATTRIBUTE))