Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass TeamSport Sport) Mid-level-ontology.kif 7535-7535 TeamSport は スポーツ の subclass では %n
(subclass Cricket TeamSport) Sports.kif 93-93 Cricket は TeamSport の subclass では %n
(subclass Hockey TeamSport) Sports.kif 118-118 Hockey は TeamSport の subclass では %n
(subclass IceHockey TeamSport) Sports.kif 120-120 IceHockey は TeamSport の subclass では %n
(subclass Handball TeamSport) Sports.kif 122-122 Handball は TeamSport の subclass では %n
(subclass Rugby TeamSport) Sports.kif 124-124 Rugby は TeamSport の subclass では %n
(subclass Dodgeball TeamSport) Sports.kif 128-128 Dodgeball は TeamSport の subclass では %n
(subclass Netball TeamSport) Sports.kif 153-153 Netball は TeamSport の subclass では %n
(subclass Soccer TeamSport) Sports.kif 156-156 Soccer は TeamSport の subclass では %n
(subclass Volleyball TeamSport) Sports.kif 241-241 Volleyball は TeamSport の subclass では %n
(subclass Baseball TeamSport) Sports.kif 604-604 Baseball は TeamSport の subclass では %n
(subclass Basketball TeamSport) Sports.kif 768-768 Basketball は TeamSport の subclass では %n
(subclass FootballUS TeamSport) Sports.kif 807-807 FootballUS は TeamSport の subclass では %n


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners