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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Wedding
Wedding(wedding)
conjoin, espouse, get_hitched_with, get_married, hook_up_with, hymeneals, inmarry, marry, nuptials, wed, wedding, wedding_ceremony, wive

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7962-7963
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3283-3283
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3038-3038
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3284-3284
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7960-7960 Wedding is a subclass of ceremony
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7961-7961 Wedding is a subclass of declaring

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 53-53 ReligiousWedding is a subclass of wedding
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62649-62649
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62648-62648
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62647-62647

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24195-24206
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7965-7970

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7972-7982
No TPTP formula. May not be expressible in strict first order. Biography.kif 319-335
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24216-24225


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