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

Formal Language: 



KB Term:  Term intersection
English Word: 

  legalGuardian

 Sigma KEE - legalGuardian
legalGuardian

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23379-23381
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23383-23383 O argumento numero 1 de legalGuardian e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23384-23384 O argumento numero 2 de legalGuardian e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23376-23376 legalGuardian e' uma instancia de Relacao Anti-simetrica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23375-23375 legalGuardian e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23377-23377 legalGuardian e' uma instancia de Relacao Parcial

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1459-1459
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1458-1458
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1457-1457
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33833-33833
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33832-33832
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33831-33831


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