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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Deacon

Sigma KEE - Deacon
Deacon(执事)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20926-20928
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4640-4640
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20924-20924 执事宗教立场instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20925-20925 执事兼职职位subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18726-18726
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18725-18725
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18724-18724

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20938-20947
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20930-20936


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