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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - plaintiff
plaintiff

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16295-16296
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16297-16297 O argumento numero 1 de plaintiff e' uma instancia de Acao Legal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16298-16298 O argumento numero 2 de plaintiff e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16300-16300 plaintiff e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16299-16299 plaintiff e' uma sub-relacao de agent

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4114-4114
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4113-4113
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4112-4112
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46022-46022
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46021-46021
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46020-46020

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14176-14190


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