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 Deacon e' uma instancia de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20925-20925 Deacon e' um sub-atributo de PartTimePosition

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