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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChangeOfPossession
ChangeOfPossession(Mudanca de Dono)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3071-3072
No TPTP formula. May not be expressible in strict first order. Merge.kif 11666-11667
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1840-1841
No TPTP formula. May not be expressible in strict first order. Merge.kif 11664-11664 Mudanca de Dono e' relacionado internamente por SUMO a possesses
No TPTP formula. May not be expressible in strict first order. Merge.kif 11663-11663 Mudanca de Dono e' uma sub-classe de Interacao Social

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2394-2394 Exporting e' uma sub-classe de Mudanca de Dono
No TPTP formula. May not be expressible in strict first order. Merge.kif 11797-11797 Obter e' uma sub-classe de Mudanca de Dono
No TPTP formula. May not be expressible in strict first order. Merge.kif 11690-11690 Dar e' uma sub-classe de Mudanca de Dono
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18559-18559 Sharing e' uma sub-classe de Mudanca de Dono
No TPTP formula. May not be expressible in strict first order. Merge.kif 11831-11831 Transacao e' uma sub-classe de Mudanca de Dono
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1132-1132
No TPTP formula. May not be expressible in strict first order. english_format.kif 1481-1481
No TPTP formula. May not be expressible in strict first order. french_format.kif 810-810
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 342-342
No TPTP formula. May not be expressible in strict first order. terms-it.txt 345-345
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2494-2494
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 762-762
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 347-347
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 381-381
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 831-831
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 346-346

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11678-11688
No TPTP formula. May not be expressible in strict first order. Merge.kif 11669-11676


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