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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 11118-11121
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 11115-11115 The number 1 argument of changes location is an instance of translocation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11116-11116 The number 2 argument of changes location is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 11113-11113 changes location is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 11114-11114 changes location is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11123-11123 changes location is a subrelation of moves

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 683-683
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 14133-14133
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14132-14132
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14131-14131

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11126-11134


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