Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Merge.kif 11663-11663 子類 ChangeOfPossession and SocialInteraction
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18559-18559 子類 分享 and ChangeOfPossession
No TPTP formula. May not be expressible in strict first order. Merge.kif 11690-11690 子類 Giving and ChangeOfPossession
No TPTP formula. May not be expressible in strict first order. Merge.kif 11797-11797 子類 Getting and ChangeOfPossession
No TPTP formula. May not be expressible in strict first order. Merge.kif 11831-11831 子類 Transaction and ChangeOfPossession
No TPTP formula. May not be expressible in strict first order. Economy.kif 2394-2394 子類 出口 and ChangeOfPossession


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