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 16543-16545
No TPTP formula. May not be expressible in strict first order. Merge.kif 16541-16541 Le nombre 1 argument de legalRelation est une instance de humain
No TPTP formula. May not be expressible in strict first order. Merge.kif 16542-16542 Le nombre 2 argument de legalRelation est une instance de humain
No TPTP formula. May not be expressible in strict first order. Merge.kif 16539-16539 legalRelation est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 16540-16540 legalRelation est une instance de relation sym�trique

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 16580-16580 spouse est une sous-relation de legalRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23148-23148 stepfather est une sous-relation de legalRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23165-23165 stepmother est une sous-relation 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 16346-16351
No TPTP formula. May not be expressible in strict first order. Merge.kif 16547-16553


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