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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AtlanticOcean

 Sigma KEE - UnpavedRunway
UnpavedRunway(未鋪砌的跑道)

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1494-1495
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4840-4840
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1493-1493 子類 未鋪砌的跑道 and 跑道

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1500-1500 不相交的 鋪好的跑道 and 未鋪砌的跑道
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60524-60524
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60523-60523
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60522-60522

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1496-1498

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1371-1378
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1482-1491


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