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

Formal Language: 



KB Term:  Term intersection
English Word: 

  fOCShipsByOrigin

 Sigma KEE - fOCShipsByOrigin
fOCShipsByOrigin

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1057-1062
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1054-1054 域 fOC按原產地出貨, 1 and 商船
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1055-1055 域 fOC按原產地出貨, 2 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1056-1056 域 fOC按原產地出貨, 3 and NonnegativeInteger
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1053-1053 例 fOC按原產地出貨 and TernaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1081-1081
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1080-1080
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1079-1079
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24452-24452
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24451-24451
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24450-24450

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1064-1068
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1070-1075


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