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

Formal Language: 



KB Term:  Term intersection
English Word: 

  changesLocation

 Sigma KEE - changesLocation
changesLocation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2994-2996
No TPTP formula. May not be expressible in strict first order. Merge.kif 11017-11020
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1754-1756
No TPTP formula. May not be expressible in strict first order. Merge.kif 11014-11014 域 改變位置, 1 and 易位
No TPTP formula. May not be expressible in strict first order. Merge.kif 11015-11015 域 改變位置, 2 and Object
No TPTP formula. May not be expressible in strict first order. Merge.kif 11012-11012 例 改變位置 and CaseRole
No TPTP formula. May not be expressible in strict first order. Merge.kif 11013-11013 例 改變位置 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11022-11022 子關係 改變位置 and 移動

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 428-428
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 427-427
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 669-669
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 426-426
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14124-14124
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14123-14123
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14122-14122

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