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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Swimming

 Sigma KEE - Swimming
Swimming

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3012-3013
No TPTP formula. May not be expressible in strict first order. Merge.kif 11171-11172
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1775-1776
No TPTP formula. May not be expressible in strict first order. pictureList.kif 765-765
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3205-3205
No TPTP formula. May not be expressible in strict first order. Merge.kif 11168-11168 子類 Swimming and BodyMotion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11169-11169 子類 Swimming and IntentionalProcess

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26897-26897 子類 ScubaDiving and Swimming
No TPTP formula. May not be expressible in strict first order. Sports.kif 106-106 子類 Snorkeling and Swimming
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1116-1116
No TPTP formula. May not be expressible in strict first order. english_format.kif 1449-1449
No TPTP formula. May not be expressible in strict first order. french_format.kif 794-794
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 326-326
No TPTP formula. May not be expressible in strict first order. terms-it.txt 329-329
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2478-2478
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 746-746
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 331-331
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 365-365
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 815-815
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 330-330

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11174-11181

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1579-1592
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4726-4732


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

Show without tree


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