Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sport
Sport(运动)
more pictures...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3298-3298
No TPTP formula. May not be expressible in strict first order. Merge.kif 13378-13379
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6889-6889
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7967-7967
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7968-7968
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7969-7969
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7970-7970
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7971-7971
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7972-7972
No TPTP formula. May not be expressible in strict first order. Merge.kif 13377-13377 运动游戏subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Sports.kif 89-89 Archery运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 91-91 Badminton运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 772-772 健美运动运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 1102-1102 Bowling运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 585-585 拳击运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 226-226 Caving运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 95-95 Curling运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 97-97 CycleRacing运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 103-103 Diving运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 1181-1181 Equitation运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 114-114 Fencing运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 116-116 FigureSkating运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 236-236 FishingSport运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 889-889 高尔夫球运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 600-600 体操运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 245-245 HorseRacing运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 112-112 IceSkating运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 221-221 KiteSurfing运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 126-126 Lacrosse运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 133-133 MartialArts运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 1336-1336 奥运会运动subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7549-7549 赛跑运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 1317-1317 Racquetball运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 232-232 Rafting运动subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 496-496 RockClimbing运动subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Sports.kif 1363-1370
No TPTP formula. May not be expressible in strict first order. Sports.kif 1357-1361
No TPTP formula. May not be expressible in strict first order. naics.kif 7600-7618
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2353-2372
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7011-7017
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15677-15683
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17070-17076
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7528-7533


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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