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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OpenSea
OpenSea(公海)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4707-4709
No TPTP formula. May not be expressible in strict first order. Geography.kif 4705-4705 公海属性instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42216-42216
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42215-42215
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42214-42214

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4711-4720 公海 客体attribute 若且唯若 有存在 物理 实数 这样 那个 客体盐水区instance那个 客体 不 是 内陆水域instance那个 物理那个 客体distance那个 实数 海里那个 实数greaterThan 5.0


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