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

Formal Language: 



KB Term:  Term intersection
English Word: 

  legalRelation

 Sigma KEE - legalRelation
legalRelation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3705-3706
No TPTP formula. May not be expressible in strict first order. Merge.kif 16521-16523
No TPTP formula. May not be expressible in strict first order. Merge.kif 16519-16519 O argumento numero 1 de legalRelation e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order. Merge.kif 16520-16520 O argumento numero 2 de legalRelation e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order. Merge.kif 16517-16517 legalRelation e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 16518-16518 legalRelation e' uma instancia de Relacao Simetrica

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 808-808
No TPTP formula. May not be expressible in strict first order. english_format.kif 820-820
No TPTP formula. May not be expressible in strict first order. french_format.kif 485-485
No TPTP formula. May not be expressible in strict first order. english_format.kif 821-821
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 437-437
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 507-507
No TPTP formula. May not be expressible in strict first order. Merge.kif 16558-16558 spouse e' uma sub-relacao de legalRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23149-23149 stepfather e' uma sub-relacao de legalRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23166-23166 stepmother e' uma sub-relacao de legalRelation
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 809-809
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33844-33844
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33843-33843

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16324-16329
No TPTP formula. May not be expressible in strict first order. Merge.kif 16525-16531


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