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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PublicGarden
PublicGarden( 公共庭园)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8196-8196
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8197-8197 公共庭园 园林subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8179-8179 私人庭园 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64348-64348
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64349-64349
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64347-64347

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8152-8152 园林 详尽无遗地 partition 私人庭园 公共庭园

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8199-8204


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