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

Formal Language: 



KB Term:  Term intersection
English Word: 

  capableAtLocation

 Sigma KEE - capableAtLocation
capableAtLocation

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 3205-3208
(domain capableAtLocation 2 CaseRole) Transportation.kif 3210-3210 Le nombre 2 argument de capableAtLocation est une instance de r�le d�pendant du cas
(domain capableAtLocation 3 Object) Transportation.kif 3211-3211 Le nombre 3 argument de capableAtLocation est une instance de objet
(domain capableAtLocation 4 Region) Transportation.kif 3212-3212 Le nombre 4 argument de capableAtLocation est une instance de r�gion
(domainSubclass capableAtLocation 1 Process) Transportation.kif 3209-3209 Le nombre 1 argument de capableAtLocation est une sous-classe de processus
(instance capableAtLocation QuaternaryPredicate) Transportation.kif 3204-3204 capableAtLocation est une instance de pr�dicat quaternaire

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 13042-13042
(termFormat ChineseTraditionalLanguage capableAtLocation "能夠在位置") domainEnglishFormat.kif 13041-13041
(termFormat EnglishLanguage capableAtLocation "capable at location") domainEnglishFormat.kif 13040-13040

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 3214-3223
(=>
    (and
        (trafficableForTrafficType ?PLACE ?TYPE)
        (subclass ?TYPE TransportationDevice)
        (instance ?MOVER ?TYPE))
    (capableAtLocation Transportation instrument ?MOVER ?PLACE))		 Transportation.kif 3132-3137
(=>
    (and
        (trafficableForTrafficType ?place ?type)
        (subclass ?type AutonomousAgent)
        (instance ?mover ?type))
    (capableAtLocation Translocation agent ?mover ?place))		 Transportation.kif 3139-3144
(=>
    (instance ?A MilitaryAirport)
    (hasPurpose ?A
        (exists (?M)
            (and
                (instance ?M MilitaryAircraft)
                (or
                    (capableAtLocation TakingOff origin ?M ?A)
                    (capableAtLocation Landing destination ?M ?A))))))		 MilitaryProcesses.kif 2790-2798


Show simplified definition (without tree view)
Show simplified definition (with tree view)

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