Prefix(:=) Prefix(owl:=) Prefix(rdf:=) Prefix(xml:=) Prefix(xsd:=) Prefix(rdfs:=) Ontology( Declaration(Class(:alien)) Declaration(Class(:android)) Declaration(Class(:female)) Declaration(Class(:fighting_team)) Declaration(Class(:fighting_technique)) Declaration(Class(:fusion)) Declaration(Class(:gender)) Declaration(Class(:human)) Declaration(Class(:long_distance)) Declaration(Class(:male)) Declaration(Class(:nameccian)) Declaration(Class(:planet)) Declaration(Class(:power_up)) Declaration(Class(:race)) Declaration(Class(:sayan)) Declaration(Class(:short_distance)) Declaration(Class(:z_warrior_not_human)) Declaration(ObjectProperty(:born_in)) Declaration(ObjectProperty(:enemy_of)) Declaration(ObjectProperty(:father_of)) Declaration(ObjectProperty(:fights_with)) Declaration(ObjectProperty(:for_fusing)) Declaration(ObjectProperty(:fused_in)) Declaration(ObjectProperty(:fused_with)) Declaration(ObjectProperty(:fusion_of)) Declaration(ObjectProperty(:has_father)) Declaration(ObjectProperty(:has_member)) Declaration(ObjectProperty(:has_mother)) Declaration(ObjectProperty(:has_parent)) Declaration(ObjectProperty(:killed_by)) Declaration(ObjectProperty(:kills)) Declaration(ObjectProperty(:married_with)) Declaration(ObjectProperty(:member_of)) Declaration(ObjectProperty(:mother_of)) Declaration(ObjectProperty(:parent_of)) Declaration(ObjectProperty(:sayan_fights_with)) Declaration(ObjectProperty(:sibling_of)) Declaration(ObjectProperty(:teach)) Declaration(ObjectProperty(:teached_by)) Declaration(ObjectProperty(:teacher_of)) Declaration(DataProperty(:has_child)) Declaration(DataProperty(:has_trasformation)) Declaration(NamedIndividual(:android_team)) Declaration(NamedIndividual(:babidi)) Declaration(NamedIndividual(:bardack)) Declaration(NamedIndividual(:beam_cannon)) Declaration(NamedIndividual(:body_swap)) Declaration(NamedIndividual(:bonyu)) Declaration(NamedIndividual(:bulma)) Declaration(NamedIndividual(:butter)) Declaration(NamedIndividual(:c16)) Declaration(NamedIndividual(:c17)) Declaration(NamedIndividual(:c18)) Declaration(NamedIndividual(:cell)) Declaration(NamedIndividual(:chichi)) Declaration(NamedIndividual(:chocolate_transform)) Declaration(NamedIndividual(:cooler)) Declaration(NamedIndividual(:crillin)) Declaration(NamedIndividual(:dende)) Declaration(NamedIndividual(:dodoria)) Declaration(NamedIndividual(:dr_gelo)) Declaration(NamedIndividual(:earth)) Declaration(NamedIndividual(:finger_laser)) Declaration(NamedIndividual(:frieza)) Declaration(NamedIndividual(:frieza_team)) Declaration(NamedIndividual(:fusion_dance)) Declaration(NamedIndividual(:garlic)) Declaration(NamedIndividual(:ginew)) Declaration(NamedIndividual(:ginew_squad)) Declaration(NamedIndividual(:gogeta)) Declaration(NamedIndividual(:gohan)) Declaration(NamedIndividual(:goku)) Declaration(NamedIndividual(:goten)) Declaration(NamedIndividual(:gotenks)) Declaration(NamedIndividual(:guldo)) Declaration(NamedIndividual(:jeeth)) Declaration(NamedIndividual(:kaioken)) Declaration(NamedIndividual(:kaioshin)) Declaration(NamedIndividual(:kakarot)) Declaration(NamedIndividual(:kamehameha)) Declaration(NamedIndividual(:king_cold)) Declaration(NamedIndividual(:king_kaio)) Declaration(NamedIndividual(:light_flash)) Declaration(NamedIndividual(:majiin_bu)) Declaration(NamedIndividual(:majiin_vegeta)) Declaration(NamedIndividual(:marron)) Declaration(NamedIndividual(:martial_arts)) Declaration(NamedIndividual(:mr_satan)) Declaration(NamedIndividual(:muten)) Declaration(NamedIndividual(:namec)) Declaration(NamedIndividual(:nappa)) Declaration(NamedIndividual(:piccolo)) Declaration(NamedIndividual(:popo)) Declaration(NamedIndividual(:potara_earrings)) Declaration(NamedIndividual(:radish)) Declaration(NamedIndividual(:rikoom)) Declaration(NamedIndividual(:super_sayan)) Declaration(NamedIndividual(:suprem)) Declaration(NamedIndividual(:supreme_power)) Declaration(NamedIndividual(:sword)) Declaration(NamedIndividual(:tensing)) Declaration(NamedIndividual(:trunks)) Declaration(NamedIndividual(:veget)) Declaration(NamedIndividual(:vegeta)) Declaration(NamedIndividual(:vegeta_pl)) Declaration(NamedIndividual(:vegeta_senior)) Declaration(NamedIndividual(:vegeta_team)) Declaration(NamedIndividual(:videl)) Declaration(NamedIndividual(:wolf_attack)) Declaration(NamedIndividual(:yamcha)) Declaration(NamedIndividual(:z_warrior)) Declaration(NamedIndividual(:zarbon)) ############################ # Object Properties ############################ # Object Property: :born_in (:born_in) FunctionalObjectProperty(:born_in) ObjectPropertyDomain(:born_in :race) ObjectPropertyRange(:born_in :planet) # Object Property: :enemy_of (:enemy_of) SymmetricObjectProperty(:enemy_of) IrreflexiveObjectProperty(:enemy_of) # Object Property: :father_of (:father_of) SubObjectPropertyOf(:father_of :parent_of) InverseObjectProperties(:father_of :has_father) InverseFunctionalObjectProperty(:father_of) ObjectPropertyRange(:father_of :race) # Object Property: :fights_with (:fights_with) AsymmetricObjectProperty(:fights_with) ObjectPropertyDomain(:fights_with :race) ObjectPropertyRange(:fights_with :fighting_technique) # Object Property: :for_fusing (:for_fusing) InverseObjectProperties(:for_fusing :fused_with) ObjectPropertyDomain(:for_fusing :fighting_technique) ObjectPropertyRange(:for_fusing :fusion) # Object Property: :fused_in (:fused_in) InverseObjectProperties(:fused_in :fusion_of) ObjectPropertyDomain(:fused_in :race) ObjectPropertyRange(:fused_in :fusion) # Object Property: :fused_with (:fused_with) ObjectPropertyDomain(:fused_with :fusion) ObjectPropertyRange(:fused_with :fighting_technique) # Object Property: :fusion_of (:fusion_of) SubObjectPropertyOf(:fusion_of owl:topObjectProperty) ObjectPropertyDomain(:fusion_of :fusion) ObjectPropertyRange(:fusion_of :race) # Object Property: :has_father (:has_father) SubObjectPropertyOf(:has_father :has_parent) SubObjectPropertyOf(:has_father ObjectInverseOf(:father_of)) FunctionalObjectProperty(:has_father) # Object Property: :has_member (:has_member) InverseObjectProperties(:has_member :member_of) ObjectPropertyDomain(:has_member :fighting_team) # Object Property: :has_mother (:has_mother) SubObjectPropertyOf(:has_mother :has_parent) InverseObjectProperties(:has_mother :mother_of) # Object Property: :has_parent (:has_parent) ObjectPropertyDomain(:has_parent :race) ObjectPropertyRange(:has_parent :race) # Object Property: :killed_by (:killed_by) SubObjectPropertyOf(:killed_by owl:topObjectProperty) InverseObjectProperties(:killed_by :kills) ObjectPropertyDomain(:killed_by :race) ObjectPropertyRange(:killed_by :race) # Object Property: :kills (:kills) SubObjectPropertyOf(:kills owl:topObjectProperty) ObjectPropertyDomain(:kills :race) ObjectPropertyRange(:kills :race) # Object Property: :married_with (:married_with) SymmetricObjectProperty(:married_with) IrreflexiveObjectProperty(:married_with) ObjectPropertyDomain(:married_with :race) ObjectPropertyRange(:married_with :race) # Object Property: :member_of (:member_of) SubObjectPropertyOf(:member_of owl:topObjectProperty) ObjectPropertyDomain(:member_of :race) ObjectPropertyRange(:member_of :fighting_team) # Object Property: :mother_of (:mother_of) SubObjectPropertyOf(:mother_of :parent_of) InverseFunctionalObjectProperty(:mother_of) ObjectPropertyRange(:mother_of :race) # Object Property: :parent_of (:parent_of) ObjectPropertyDomain(:parent_of :race) ObjectPropertyRange(:parent_of :race) # Object Property: :sayan_fights_with (:sayan_fights_with) SubObjectPropertyOf(:sayan_fights_with :fights_with) ObjectPropertyDomain(:sayan_fights_with :sayan) ObjectPropertyRange(:sayan_fights_with :power_up) # Object Property: :sibling_of (:sibling_of) SubObjectPropertyOf(:sibling_of owl:topObjectProperty) SymmetricObjectProperty(:sibling_of) ObjectPropertyDomain(:sibling_of :race) ObjectPropertyRange(:sibling_of :race) # Object Property: :teach (:teach) AsymmetricObjectProperty(:teach) ObjectPropertyDomain(:teach :race) ObjectPropertyRange(:teach :fighting_technique) # Object Property: :teached_by (:teached_by) InverseObjectProperties(:teached_by :teacher_of) ObjectPropertyDomain(:teached_by :race) ObjectPropertyRange(:teached_by :race) # Object Property: :teacher_of (:teacher_of) SubObjectPropertyOf(:teacher_of owl:topObjectProperty) ObjectPropertyDomain(:teacher_of :race) ObjectPropertyRange(:teacher_of :race) ############################ # Data Properties ############################ # Data Property: :has_child (:has_child) DataPropertyDomain(:has_child :race) DataPropertyRange(:has_child xsd:integer) # Data Property: :has_trasformation (:has_trasformation) DataPropertyDomain(:has_trasformation :race) DataPropertyRange(:has_trasformation xsd:integer) ############################ # Classes ############################ # Class: :alien (:alien) SubClassOf(:alien :race) # Class: :android (:android) SubClassOf(:android :race) # Class: :female (:female) SubClassOf(:female :gender) DisjointClasses(:female :male) # Class: :fighting_technique (:fighting_technique) # Class: :fusion (:fusion) SubClassOf(:fusion :power_up) # Class: :human (:human) SubClassOf(:human :race) # Class: :long_distance (:long_distance) SubClassOf(:long_distance :fighting_technique) DisjointClasses(:long_distance :short_distance) # Class: :male (:male) SubClassOf(:male :gender) # Class: :nameccian (:nameccian) SubClassOf(:nameccian :race) # Class: :planet (:planet) # Class: :power_up (:power_up) SubClassOf(:power_up :fighting_technique) # Class: :race (:race) # Class: :sayan (:sayan) SubClassOf(:sayan :race) # Class: :short_distance (:short_distance) SubClassOf(:short_distance :fighting_technique) # Class: :z_warrior_not_human (:z_warrior_not_human) EquivalentClasses(:z_warrior_not_human ObjectIntersectionOf(ObjectComplementOf(:human) ObjectHasValue(:born_in :earth) ObjectHasValue(:member_of :z_warrior))) ############################ # Named Individuals ############################ # Individual: :android_team (:android_team) ClassAssertion(:fighting_team :android_team) ObjectPropertyAssertion(:enemy_of :android_team :z_warrior) ObjectPropertyAssertion(:has_member :android_team :c16) ObjectPropertyAssertion(:has_member :android_team :c17) ObjectPropertyAssertion(:has_member :android_team :c18) ObjectPropertyAssertion(:has_member :android_team :cell) ObjectPropertyAssertion(:has_member :android_team :dr_gelo) # Individual: :babidi (:babidi) ClassAssertion(:alien :babidi) ObjectPropertyAssertion(:enemy_of :babidi :gohan) ObjectPropertyAssertion(:enemy_of :babidi :goku) ObjectPropertyAssertion(:enemy_of :babidi :goten) ObjectPropertyAssertion(:enemy_of :babidi :trunks) ObjectPropertyAssertion(:enemy_of :babidi :vegeta) ObjectPropertyAssertion(:killed_by :babidi :vegeta) # Individual: :bardack (:bardack) ClassAssertion(:male :bardack) ClassAssertion(:sayan :bardack) ObjectPropertyAssertion(:born_in :bardack :vegeta_pl) ObjectPropertyAssertion(:enemy_of :bardack :frieza) ObjectPropertyAssertion(:father_of :bardack :goku) ObjectPropertyAssertion(:fights_with :bardack :martial_arts) ObjectPropertyAssertion(:killed_by :bardack :frieza) # Individual: :beam_cannon (:beam_cannon) ClassAssertion(:long_distance :beam_cannon) # Individual: :body_swap (:body_swap) ClassAssertion(:long_distance :body_swap) # Individual: :bonyu (:bonyu) ClassAssertion(:alien :bonyu) ClassAssertion(:male :bonyu) ObjectPropertyAssertion(:enemy_of :bonyu :crillin) ObjectPropertyAssertion(:enemy_of :bonyu :gohan) ObjectPropertyAssertion(:enemy_of :bonyu :piccolo) ObjectPropertyAssertion(:killed_by :bonyu :gohan) ObjectPropertyAssertion(:member_of :bonyu :ginew_squad) # Individual: :bulma (:bulma) ClassAssertion(:female :bulma) ClassAssertion(:human :bulma) ObjectPropertyAssertion(:born_in :bulma :earth) # Individual: :butter (:butter) ClassAssertion(:alien :butter) ClassAssertion(:male :butter) ObjectPropertyAssertion(:enemy_of :butter :crillin) ObjectPropertyAssertion(:enemy_of :butter :gohan) ObjectPropertyAssertion(:enemy_of :butter :piccolo) ObjectPropertyAssertion(:killed_by :butter :piccolo) ObjectPropertyAssertion(:member_of :butter :ginew_squad) # Individual: :c16 (:c16) ClassAssertion(:android :c16) ClassAssertion(:male :c16) ObjectPropertyAssertion(:enemy_of :c16 :cell) ObjectPropertyAssertion(:fights_with :c16 :martial_arts) ObjectPropertyAssertion(:killed_by :c16 :cell) ObjectPropertyAssertion(:sibling_of :c16 :c17) # Individual: :c17 (:c17) ClassAssertion(:android :c17) ClassAssertion(:male :c17) ObjectPropertyAssertion(:fights_with :c17 :martial_arts) ObjectPropertyAssertion(:killed_by :c17 :cell) ObjectPropertyAssertion(:sibling_of :c17 :c18) # Individual: :c18 (:c18) ClassAssertion(:android :c18) ClassAssertion(:female :c18) ObjectPropertyAssertion(:enemy_of :c18 :cell) ObjectPropertyAssertion(:fights_with :c18 :martial_arts) ObjectPropertyAssertion(:married_with :c18 :crillin) ObjectPropertyAssertion(:mother_of :c18 :marron) ObjectPropertyAssertion(:sibling_of :c18 :c17) # Individual: :cell (:cell) ClassAssertion(:android :cell) ClassAssertion(:male :cell) ClassAssertion(ObjectSomeValuesFrom(:enemy_of :sayan) :cell) ObjectPropertyAssertion(:enemy_of :cell :gohan) ObjectPropertyAssertion(:enemy_of :cell :goku) ObjectPropertyAssertion(:enemy_of :cell :piccolo) ObjectPropertyAssertion(:enemy_of :cell :vegeta) ObjectPropertyAssertion(:enemy_of :cell :z_warrior) ObjectPropertyAssertion(:fights_with :cell :martial_arts) ObjectPropertyAssertion(:killed_by :cell :gohan) # Individual: :chichi (:chichi) ClassAssertion(:female :chichi) ClassAssertion(:human :chichi) ObjectPropertyAssertion(:born_in :chichi :earth) ObjectPropertyAssertion(:fights_with :chichi :martial_arts) ObjectPropertyAssertion(:mother_of :chichi :goten) # Individual: :chocolate_transform (:chocolate_transform) ClassAssertion(:short_distance :chocolate_transform) # Individual: :cooler (:cooler) ClassAssertion(:alien :cooler) ClassAssertion(:male :cooler) ObjectPropertyAssertion(:enemy_of :cooler :goku) ObjectPropertyAssertion(:enemy_of :cooler :vegeta) ObjectPropertyAssertion(:fights_with :cooler :finger_laser) ObjectPropertyAssertion(:fights_with :cooler :martial_arts) ObjectPropertyAssertion(:killed_by :cooler :goku) ObjectPropertyAssertion(:killed_by :cooler :vegeta) ObjectPropertyAssertion(:sibling_of :cooler :frieza) # Individual: :crillin (:crillin) ClassAssertion(:human :crillin) ClassAssertion(:male :crillin) ObjectPropertyAssertion(:born_in :crillin :earth) ObjectPropertyAssertion(:enemy_of :crillin :c17) ObjectPropertyAssertion(:enemy_of :crillin :cell) ObjectPropertyAssertion(:enemy_of :crillin :frieza) ObjectPropertyAssertion(:father_of :crillin :marron) ObjectPropertyAssertion(:fights_with :crillin :kamehameha) ObjectPropertyAssertion(:fights_with :crillin :light_flash) ObjectPropertyAssertion(:fights_with :crillin :martial_arts) ObjectPropertyAssertion(:killed_by :crillin :cell) ObjectPropertyAssertion(:killed_by :crillin :frieza) ObjectPropertyAssertion(:killed_by :crillin :majiin_bu) DataPropertyAssertion(:has_child :crillin "1"^^xsd:integer) # Individual: :dende (:dende) ClassAssertion(:male :dende) ClassAssertion(:nameccian :dende) ObjectPropertyAssertion(:born_in :dende :namec) ObjectPropertyAssertion(:sibling_of :dende :suprem) ObjectPropertyAssertion(:teached_by :dende :suprem) # Individual: :dodoria (:dodoria) ClassAssertion(:alien :dodoria) ClassAssertion(:male :dodoria) ObjectPropertyAssertion(:enemy_of :dodoria :crillin) ObjectPropertyAssertion(:enemy_of :dodoria :gohan) ObjectPropertyAssertion(:enemy_of :dodoria :piccolo) ObjectPropertyAssertion(:fights_with :dodoria :martial_arts) ObjectPropertyAssertion(:killed_by :dodoria :vegeta) # Individual: :dr_gelo (:dr_gelo) ClassAssertion(:human :dr_gelo) ClassAssertion(:male :dr_gelo) ObjectPropertyAssertion(:born_in :dr_gelo :earth) ObjectPropertyAssertion(:father_of :dr_gelo :c16) ObjectPropertyAssertion(:father_of :dr_gelo :c17) ObjectPropertyAssertion(:father_of :dr_gelo :c18) ObjectPropertyAssertion(:father_of :dr_gelo :cell) ObjectPropertyAssertion(:fights_with :dr_gelo :martial_arts) ObjectPropertyAssertion(:killed_by :dr_gelo :cell) # Individual: :earth (:earth) ClassAssertion(:planet :earth) # Individual: :finger_laser (:finger_laser) ClassAssertion(:long_distance :finger_laser) # Individual: :frieza (:frieza) ClassAssertion(:alien :frieza) ClassAssertion(:male :frieza) ClassAssertion(ObjectSomeValuesFrom(:enemy_of :human) :frieza) ClassAssertion(ObjectSomeValuesFrom(:enemy_of :sayan) :frieza) ObjectPropertyAssertion(:enemy_of :frieza :vegeta) ObjectPropertyAssertion(:enemy_of :frieza :vegeta_senior) ObjectPropertyAssertion(:fights_with :frieza :finger_laser) ObjectPropertyAssertion(:fights_with :frieza :martial_arts) ObjectPropertyAssertion(:killed_by :frieza :goku) DataPropertyAssertion(:has_trasformation :frieza "4"^^xsd:integer) # Individual: :frieza_team (:frieza_team) ClassAssertion(:fighting_team :frieza_team) ObjectPropertyAssertion(:has_member :frieza_team :dodoria) ObjectPropertyAssertion(:has_member :frieza_team :frieza) ObjectPropertyAssertion(:has_member :frieza_team :ginew_squad) ObjectPropertyAssertion(:has_member :frieza_team :zarbon) # Individual: :fusion_dance (:fusion_dance) ClassAssertion(:short_distance :fusion_dance) ObjectPropertyAssertion(:for_fusing :fusion_dance :gogeta) ObjectPropertyAssertion(:for_fusing :fusion_dance :gotenks) # Individual: :garlic (:garlic) ClassAssertion(:alien :garlic) ObjectPropertyAssertion(:enemy_of :garlic :crillin) ObjectPropertyAssertion(:enemy_of :garlic :dende) ObjectPropertyAssertion(:enemy_of :garlic :gohan) ObjectPropertyAssertion(:fights_with :garlic :martial_arts) ObjectPropertyAssertion(:killed_by :garlic :gohan) # Individual: :ginew (:ginew) ClassAssertion(:alien :ginew) ClassAssertion(:male :ginew) ObjectPropertyAssertion(:enemy_of :ginew :crillin) ObjectPropertyAssertion(:enemy_of :ginew :gohan) ObjectPropertyAssertion(:enemy_of :ginew :piccolo) ObjectPropertyAssertion(:fights_with :ginew :body_swap) ObjectPropertyAssertion(:fights_with :ginew :martial_arts) ObjectPropertyAssertion(:killed_by :ginew :goku) ObjectPropertyAssertion(:member_of :ginew :ginew_squad) # Individual: :ginew_squad (:ginew_squad) ClassAssertion(:fighting_team :ginew_squad) # Individual: :gogeta (:gogeta) ClassAssertion(:fusion :gogeta) ObjectPropertyAssertion(:fusion_of :gogeta :goku) ObjectPropertyAssertion(:fusion_of :gogeta :vegeta) # Individual: :gohan (:gohan) ClassAssertion(:male :gohan) ClassAssertion(:sayan :gohan) ObjectPropertyAssertion(:born_in :gohan :earth) ObjectPropertyAssertion(:enemy_of :gohan :frieza) ObjectPropertyAssertion(:fights_with :gohan :kamehameha) ObjectPropertyAssertion(:fights_with :gohan :martial_arts) ObjectPropertyAssertion(:fights_with :gohan :supreme_power) ObjectPropertyAssertion(:has_mother :gohan :chichi) ObjectPropertyAssertion(:sayan_fights_with :gohan :super_sayan) ObjectPropertyAssertion(:sibling_of :gohan :goten) DataPropertyAssertion(:has_trasformation :gohan "2"^^xsd:integer) # Individual: :goku (:goku) ClassAssertion(:male :goku) ClassAssertion(:sayan :goku) SameIndividual(:goku :kakarot) ObjectPropertyAssertion(:born_in :goku :vegeta_pl) ObjectPropertyAssertion(:enemy_of :goku :frieza) ObjectPropertyAssertion(:enemy_of :goku :vegeta) ObjectPropertyAssertion(:father_of :goku :gohan) ObjectPropertyAssertion(:father_of :goku :goten) ObjectPropertyAssertion(:fights_with :goku :kaioken) ObjectPropertyAssertion(:fights_with :goku :kamehameha) ObjectPropertyAssertion(:fights_with :goku :light_flash) ObjectPropertyAssertion(:fights_with :goku :martial_arts) ObjectPropertyAssertion(:killed_by :goku :goku) ObjectPropertyAssertion(:married_with :goku :chichi) ObjectPropertyAssertion(:sayan_fights_with :goku :super_sayan) DataPropertyAssertion(:has_child :goku "2"^^xsd:integer) DataPropertyAssertion(:has_trasformation :goku "3"^^xsd:integer) # Individual: :goten (:goten) ClassAssertion(:male :goten) ClassAssertion(:sayan :goten) ObjectPropertyAssertion(:born_in :goten :earth) ObjectPropertyAssertion(:fights_with :goten :kamehameha) ObjectPropertyAssertion(:fights_with :goten :martial_arts) ObjectPropertyAssertion(:has_mother :goten :chichi) ObjectPropertyAssertion(:sayan_fights_with :goten :super_sayan) DataPropertyAssertion(:has_trasformation :goten "2"^^xsd:integer) # Individual: :gotenks (:gotenks) ClassAssertion(:fusion :gotenks) ObjectPropertyAssertion(:fusion_of :gotenks :goten) ObjectPropertyAssertion(:fusion_of :gotenks :trunks) # Individual: :guldo (:guldo) ClassAssertion(:alien :guldo) ClassAssertion(:male :guldo) ObjectPropertyAssertion(:enemy_of :guldo :crillin) ObjectPropertyAssertion(:enemy_of :guldo :gohan) ObjectPropertyAssertion(:enemy_of :guldo :piccolo) ObjectPropertyAssertion(:killed_by :guldo :gohan) ObjectPropertyAssertion(:member_of :guldo :ginew_squad) # Individual: :jeeth (:jeeth) ClassAssertion(:alien :jeeth) ClassAssertion(:male :jeeth) ObjectPropertyAssertion(:enemy_of :jeeth :crillin) ObjectPropertyAssertion(:enemy_of :jeeth :gohan) ObjectPropertyAssertion(:enemy_of :jeeth :piccolo) ObjectPropertyAssertion(:killed_by :jeeth :piccolo) ObjectPropertyAssertion(:member_of :jeeth :ginew_squad) # Individual: :kaioken (:kaioken) ClassAssertion(:power_up :kaioken) # Individual: :kaioshin (:kaioshin) ClassAssertion(:alien :kaioshin) ObjectPropertyAssertion(:teach :kaioshin :supreme_power) ObjectPropertyAssertion(:teacher_of :kaioshin :gohan) # Individual: :kakarot (:kakarot) ObjectPropertyAssertion(:enemy_of :kakarot :vegeta_team) # Individual: :kamehameha (:kamehameha) ClassAssertion(:long_distance :kamehameha) # Individual: :king_cold (:king_cold) ClassAssertion(:alien :king_cold) ClassAssertion(:male :king_cold) ObjectPropertyAssertion(:father_of :king_cold :cooler) ObjectPropertyAssertion(:father_of :king_cold :frieza) ObjectPropertyAssertion(:killed_by :king_cold :frieza) # Individual: :king_kaio (:king_kaio) ClassAssertion(:alien :king_kaio) ObjectPropertyAssertion(:teach :king_kaio :kaioken) ObjectPropertyAssertion(:teacher_of :king_kaio :goku) # Individual: :light_flash (:light_flash) ClassAssertion(:long_distance :light_flash) # Individual: :majiin_bu (:majiin_bu) ClassAssertion(:alien :majiin_bu) ObjectPropertyAssertion(:enemy_of :majiin_bu :goku) ObjectPropertyAssertion(:enemy_of :majiin_bu :vegeta) ObjectPropertyAssertion(:enemy_of :majiin_bu :z_warrior) ObjectPropertyAssertion(:fights_with :majiin_bu :chocolate_transform) ObjectPropertyAssertion(:fights_with :majiin_bu :martial_arts) ObjectPropertyAssertion(:has_father :majiin_bu :babidi) ObjectPropertyAssertion(:killed_by :majiin_bu :goku) ObjectPropertyAssertion(:teached_by :majiin_bu :majiin_bu) DataPropertyAssertion(:has_trasformation :majiin_bu "3"^^xsd:integer) # Individual: :majiin_vegeta (:majiin_vegeta) ClassAssertion(:sayan :majiin_vegeta) SameIndividual(:majiin_vegeta :vegeta) ObjectPropertyAssertion(:enemy_of :majiin_vegeta :goku) ObjectPropertyAssertion(:killed_by :majiin_vegeta :vegeta) ObjectPropertyAssertion(:teached_by :majiin_vegeta :babidi) DataPropertyAssertion(:has_trasformation :majiin_vegeta "1"^^xsd:integer) # Individual: :marron (:marron) ClassAssertion(:female :marron) ClassAssertion(:human :marron) ObjectPropertyAssertion(:born_in :marron :earth) # Individual: :martial_arts (:martial_arts) ClassAssertion(:short_distance :martial_arts) # Individual: :mr_satan (:mr_satan) ClassAssertion(:human :mr_satan) ClassAssertion(:male :mr_satan) ObjectPropertyAssertion(:born_in :mr_satan :earth) ObjectPropertyAssertion(:enemy_of :mr_satan :cell) ObjectPropertyAssertion(:father_of :mr_satan :videl) ObjectPropertyAssertion(:fights_with :mr_satan :martial_arts) # Individual: :muten (:muten) ClassAssertion(:human :muten) ClassAssertion(:male :muten) ObjectPropertyAssertion(:born_in :muten :earth) ObjectPropertyAssertion(:enemy_of :muten :radish) ObjectPropertyAssertion(:fights_with :muten :kamehameha) ObjectPropertyAssertion(:fights_with :muten :martial_arts) ObjectPropertyAssertion(:teach :muten :kamehameha) ObjectPropertyAssertion(:teach :muten :martial_arts) ObjectPropertyAssertion(:teacher_of :muten :crillin) ObjectPropertyAssertion(:teacher_of :muten :goku) # Individual: :namec (:namec) ClassAssertion(:planet :namec) # Individual: :nappa (:nappa) ClassAssertion(:male :nappa) ClassAssertion(:sayan :nappa) ObjectPropertyAssertion(:born_in :nappa :vegeta_pl) ObjectPropertyAssertion(:enemy_of :nappa :crillin) ObjectPropertyAssertion(:enemy_of :nappa :gohan) ObjectPropertyAssertion(:enemy_of :nappa :goku) ObjectPropertyAssertion(:enemy_of :nappa :piccolo) ObjectPropertyAssertion(:killed_by :nappa :vegeta) # Individual: :piccolo (:piccolo) ClassAssertion(:male :piccolo) ClassAssertion(:nameccian :piccolo) SameIndividual(:piccolo :suprem) ObjectPropertyAssertion(:born_in :piccolo :namec) ObjectPropertyAssertion(:enemy_of :piccolo :c17) ObjectPropertyAssertion(:enemy_of :piccolo :frieza) ObjectPropertyAssertion(:enemy_of :piccolo :vegeta) ObjectPropertyAssertion(:fights_with :piccolo :beam_cannon) ObjectPropertyAssertion(:fights_with :piccolo :martial_arts) ObjectPropertyAssertion(:teach :piccolo :martial_arts) ObjectPropertyAssertion(:teached_by :piccolo :piccolo) ObjectPropertyAssertion(:teacher_of :piccolo :gohan) # Individual: :popo (:popo) ClassAssertion(:human :popo) # Individual: :potara_earrings (:potara_earrings) ClassAssertion(:short_distance :potara_earrings) ObjectPropertyAssertion(:for_fusing :potara_earrings :veget) # Individual: :radish (:radish) ClassAssertion(:male :radish) ClassAssertion(:sayan :radish) ObjectPropertyAssertion(:born_in :radish :vegeta_pl) ObjectPropertyAssertion(:enemy_of :radish :gohan) ObjectPropertyAssertion(:enemy_of :radish :goku) ObjectPropertyAssertion(:fights_with :radish :martial_arts) ObjectPropertyAssertion(:killed_by :radish :piccolo) ObjectPropertyAssertion(:sibling_of :radish :goku) # Individual: :rikoom (:rikoom) ClassAssertion(:alien :rikoom) ClassAssertion(:male :rikoom) ObjectPropertyAssertion(:enemy_of :rikoom :crillin) ObjectPropertyAssertion(:enemy_of :rikoom :gohan) ObjectPropertyAssertion(:enemy_of :rikoom :piccolo) ObjectPropertyAssertion(:killed_by :rikoom :goku) ObjectPropertyAssertion(:member_of :rikoom :ginew_squad) # Individual: :super_sayan (:super_sayan) ClassAssertion(:power_up :super_sayan) # Individual: :suprem (:suprem) ClassAssertion(:male :suprem) ClassAssertion(:nameccian :suprem) ObjectPropertyAssertion(:born_in :suprem :namec) # Individual: :supreme_power (:supreme_power) ClassAssertion(:power_up :supreme_power) # Individual: :sword (:sword) ClassAssertion(:short_distance :sword) # Individual: :tensing (:tensing) ClassAssertion(:human :tensing) ClassAssertion(:male :tensing) ObjectPropertyAssertion(:born_in :tensing :earth) ObjectPropertyAssertion(:enemy_of :tensing :cell) ObjectPropertyAssertion(:enemy_of :tensing :vegeta) ObjectPropertyAssertion(:fights_with :tensing :light_flash) ObjectPropertyAssertion(:fights_with :tensing :martial_arts) # Individual: :trunks (:trunks) ClassAssertion(:male :trunks) ClassAssertion(:sayan :trunks) ObjectPropertyAssertion(:born_in :trunks :earth) ObjectPropertyAssertion(:fights_with :trunks :martial_arts) ObjectPropertyAssertion(:fights_with :trunks :sword) ObjectPropertyAssertion(:has_father :trunks :vegeta) ObjectPropertyAssertion(:has_mother :trunks :bulma) ObjectPropertyAssertion(:sayan_fights_with :trunks :super_sayan) ObjectPropertyAssertion(:teached_by :trunks :gohan) DataPropertyAssertion(:has_trasformation :trunks "2"^^xsd:integer) # Individual: :veget (:veget) ClassAssertion(:fusion :veget) ObjectPropertyAssertion(:fusion_of :veget :goku) ObjectPropertyAssertion(:fusion_of :veget :vegeta) # Individual: :vegeta (:vegeta) ClassAssertion(:male :vegeta) ClassAssertion(:sayan :vegeta) ObjectPropertyAssertion(:born_in :vegeta :vegeta_pl) ObjectPropertyAssertion(:fights_with :vegeta :martial_arts) ObjectPropertyAssertion(:has_father :vegeta :vegeta_senior) ObjectPropertyAssertion(:married_with :vegeta :bulma) ObjectPropertyAssertion(:sayan_fights_with :vegeta :super_sayan) DataPropertyAssertion(:has_trasformation :vegeta "3"^^xsd:integer) # Individual: :vegeta_pl (:vegeta_pl) ClassAssertion(:planet :vegeta_pl) # Individual: :vegeta_senior (:vegeta_senior) ClassAssertion(:sayan :vegeta_senior) ObjectPropertyAssertion(:born_in :vegeta_senior :vegeta_pl) ObjectPropertyAssertion(:father_of :vegeta_senior :vegeta) ObjectPropertyAssertion(:sayan_fights_with :vegeta_senior :martial_arts) # Individual: :vegeta_team (:vegeta_team) ClassAssertion(:fighting_team :vegeta_team) ObjectPropertyAssertion(:enemy_of :vegeta_team :z_warrior) ObjectPropertyAssertion(:has_member :vegeta_team :nappa) ObjectPropertyAssertion(:has_member :vegeta_team :radish) ObjectPropertyAssertion(:has_member :vegeta_team :vegeta) # Individual: :videl (:videl) ClassAssertion(:female :videl) ClassAssertion(:human :videl) ObjectPropertyAssertion(:born_in :videl :earth) ObjectPropertyAssertion(:enemy_of :videl :cell) ObjectPropertyAssertion(:fights_with :videl :martial_arts) ObjectPropertyAssertion(:married_with :videl :gohan) ObjectPropertyAssertion(:teached_by :videl :gohan) # Individual: :wolf_attack (:wolf_attack) ClassAssertion(:short_distance :wolf_attack) # Individual: :yamcha (:yamcha) ClassAssertion(:human :yamcha) ClassAssertion(:male :yamcha) ObjectPropertyAssertion(:born_in :yamcha :earth) ObjectPropertyAssertion(:enemy_of :yamcha :cell) ObjectPropertyAssertion(:enemy_of :yamcha :vegeta) ObjectPropertyAssertion(:fights_with :yamcha :martial_arts) ObjectPropertyAssertion(:fights_with :yamcha :wolf_attack) ObjectPropertyAssertion(:killed_by :yamcha :cell) # Individual: :z_warrior (:z_warrior) ClassAssertion(:fighting_team :z_warrior) ObjectPropertyAssertion(:has_member :z_warrior :crillin) ObjectPropertyAssertion(:has_member :z_warrior :gohan) ObjectPropertyAssertion(:has_member :z_warrior :goku) ObjectPropertyAssertion(:has_member :z_warrior :piccolo) ObjectPropertyAssertion(:has_member :z_warrior :tensing) ObjectPropertyAssertion(:has_member :z_warrior :yamcha) # Individual: :zarbon (:zarbon) ClassAssertion(:alien :zarbon) ClassAssertion(:male :zarbon) ObjectPropertyAssertion(:enemy_of :zarbon :crillin) ObjectPropertyAssertion(:enemy_of :zarbon :gohan) ObjectPropertyAssertion(:enemy_of :zarbon :piccolo) ObjectPropertyAssertion(:killed_by :zarbon :gohan) DisjointClasses(:alien :android :human :nameccian :sayan) DisjointClasses(:fighting_technique :planet :race) DifferentIndividuals(:earth :namec :vegeta_pl) DifferentIndividuals(:vegeta :vegeta_pl) DifferentIndividuals(:vegeta :vegeta_senior) )