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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PublicPark

 Sigma KEE - PublicPark
PublicPark(公園)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8152-8153
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6803-6803
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7673-7673
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7674-7674
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7678-7678
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7677-7677
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8151-8151 子類 公園 and 公園

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47992-47992
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47991-47991
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47990-47990

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


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


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