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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 PublicPark est une sous-classe de Park

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 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