TreeView Knowledge Base Browser - legalRelation

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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	The number 1 argument of legal relation is an instance of human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16542-16542	The number 2 argument of legal relation is an instance of human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16539-16539	legal relation is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16540-16540	legal relation is an instance of symmetric relation

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 is a subrelation of legal relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23148-23148	stepfather is a subrelation of legal relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23165-23165	stepmother is a subrelation of legal relation
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	If there is a legal relation between an entity and another entity holds during a time position and the entity is an instance of organism and the other entity is an instance of organism, then the other entity is a relative of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16547-16553	If there is a legal relation between a human and another human, then there exist an entity and a formula such that the entity is an instance of declaring and the entity obligates the human to perform task of the type the formula and the entity obligates the other human to perform task of the type the formula

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