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

Formal Language: 



KB Term:  Term intersection
English Word: 

  weddingAnniversary

 Sigma KEE - weddingAnniversary
weddingAnniversary

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24187-24188
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24191-24191 域 weddingAnniversary, 1 and Physical
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24192-24192 域子類 weddingAnniversary, 2 and Day
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24189-24189 例 weddingAnniversary and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24190-24190 例 weddingAnniversary and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24193-24193 子關係 weddingAnniversary and 週年

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