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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Swimming
Swimming(nager)

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 11205-11206
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 11202-11202 Nager est une sous-classe de mouvement du corps
No TPTP formula. May not be expressible in strict first order. Merge.kif 11203-11203 Nager est une sous-classe de processus intentionnel

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26930-26930 ScubaDiving est une sous-classe de nager
No TPTP formula. May not be expressible in strict first order. Sports.kif 106-106 Snorkeling est une sous-classe de nager
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 11208-11215

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1562-1575
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4721-4727


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