Created on March 11, 2013, 7:13 p.m. by Hevok & updated on March 11, 2013, 7:23 p.m. by Hevok
InClass genHieral Propertchies carn be nconst fruncted wionth the rdfs:subCl</ins><span>a</span><del style="background:#ffe6e6;">l.</del><ins style="background:#e6ffe6;">ssOf
FProperty.
¶
¶
One instcan induce, Superclasoms Relathiong ships oftben mcuade nothis Profperty onlyis otransitive.
¶
¶
Component, but can be:EVA made of severawl:Class ;
¶
rdifs:subClassOferent :AI Components.
¶
Thus, one :AI can dowl:Class m;
¶
rdfs:subClassOf :Intipelle Assigenmcents .
¶
¶ Proper :Inties llin genceral are notwl:Class functional.
¶
¶
DL:
¶
¶
EVA ⊑ AI
¶
∃has Age.TI ⊑ PIntelligersonce
¶
¶
via Inference it can be entailed that ⊤"EVA ⊑" ∀his alsAge.o a Subclass of "Intelligernce"
¶
Comment on This Data Unit