| appearance as argument number 1 |
|
| (documentation capableAtLocation EnglishLanguage "(capableAtLocation ?EVENTTYPE ?ROLE ?OBJECT ?PLACE) means that ?OBJECT has the ability to play the CaseRole ?ROLE in Translocation of ?EVENTTYPE that occur at ?PLACE.") | Transportation.kif 3214-3217 | |
| (domain capableAtLocation 2 CaseRole) | Transportation.kif 3219-3219 | |
| (domain capableAtLocation 3 Object) | Transportation.kif 3220-3220 | |
| (domain capableAtLocation 4 Region) | Transportation.kif 3221-3221 | |
| (domainSubclass capableAtLocation 1 Process) | Transportation.kif 3218-3218 | |
| (instance capableAtLocation QuaternaryPredicate) | Transportation.kif 3213-3213 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage capableAtLocation "%1 %n{不是} capable 在地点 %2 对于 %3 跟 %4 在一起") | domainEnglishFormat.kif 348-348 | |
| (format ChineseTraditionalLanguage capableAtLocation "%1 %n{不是} capable 在地點 %2 對於 %3 跟 %4 在一起") | domainEnglishFormat.kif 347-347 | |
| (format EnglishLanguage capableAtLocation "%1 %n{doesn't} capable at location %2 for %3 with %4") | domainEnglishFormat.kif 346-346 | |
| (termFormat ChineseLanguage capableAtLocation "能够在位置") | domainEnglishFormat.kif 13035-13035 | |
| (termFormat ChineseTraditionalLanguage capableAtLocation "能夠在位置") | domainEnglishFormat.kif 13034-13034 | |
| (termFormat EnglishLanguage capableAtLocation "capable at location") | domainEnglishFormat.kif 13033-13033 |
| consequent |
|
|
| (=> (and (subclass ?TYPE Translocation) (instance ?EVENT ?TYPE) (eventLocated ?EVENT ?REGION) (instance ?ROLE CaseRole) (instance ?OBJECT Object) (instance ?REGION GeographicArea) (capability ?TYPE ?ROLE ?OBJECT)) (capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION)) |
Transportation.kif 3223-3232 | |
| (=> (and (trafficableForTrafficType ?PLACE ?TYPE) (subclass ?TYPE TransportationDevice) (instance ?MOVER ?TYPE)) (capableAtLocation Transportation instrument ?MOVER ?PLACE)) |
Transportation.kif 3141-3146 | |
| (=> (and (trafficableForTrafficType ?place ?type) (subclass ?type AutonomousAgent) (instance ?mover ?type)) (capableAtLocation Translocation agent ?mover ?place)) |
Transportation.kif 3148-3153 | |
| (=> (instance ?A MilitaryAirport) (hasPurpose ?A (exists (?M) (and (instance ?M MilitaryAircraft) (or (capableAtLocation TakingOff origin ?M ?A) (capableAtLocation Landing destination ?M ?A)))))) |
MilitaryProcesses.kif 2773-2781 |
|
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