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 法律关系 的 1 数量 是 人类 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16542-16542 法律关系 的 2 数量 是 人类 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16539-16539 法律关系 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16540-16540 法律关系 是 对称关系 的 instance

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 伴侣 是 法律关系 的 subrelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23148-23148 继父 是 法律关系 的 subrelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23165-23165 后母 是 法律关系 的 subrelation
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