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


KB Term:  Term intersection
English Word: 

Sigma KEE - capableAtLocation
capableAtLocation

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


(instance capableAtLocation QuaternaryPredicate) Transportation.kif 3756-3756 capable at location is an instance of quaternary predicate
(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 3757-3760 capable at location is an instance of quaternary predicate
(domainSubclass capableAtLocation 1 Process) Transportation.kif 3761-3761 The number 1 argument of capable at location is a subclass of process
(domain capableAtLocation 2 CaseRole) Transportation.kif 3762-3762 The number 2 argument of capable at location is an instance of case role
(domain capableAtLocation 3 Object) Transportation.kif 3763-3763 The number 3 argument of capable at location is an instance of object
(domain capableAtLocation 4 Region) Transportation.kif 3764-3764 The number 4 argument of capable at location is an instance of region

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


(format EnglishLanguage capableAtLocation "%1 %n{doesn't} capable at location %2 for %3 with %4") domainEnglishFormat.kif 346-346
(format ChineseTraditionalLanguage capableAtLocation "%1 %n{不是} capable 在地點 %2 對於 %3 跟 %4 在一起") domainEnglishFormat.kif 347-347
(format ChineseLanguage capableAtLocation "%1 %n{不是} capable 在地点 %2 对于 %3 跟 %4 在一起") domainEnglishFormat.kif 348-348
(termFormat EnglishLanguage capableAtLocation "capable at location") domainEnglishFormat.kif 13032-13032
(termFormat ChineseTraditionalLanguage capableAtLocation "能夠在位置") domainEnglishFormat.kif 13033-13033
(termFormat ChineseLanguage capableAtLocation "能够在位置") domainEnglishFormat.kif 13034-13034

consequent
-------------------------


(=>
    (instance ?A MilitaryAirport)
    (hasPurpose ?A
        (exists (?M)
            (and
                (instance ?M MilitaryAircraft)
                (or
                    (capableAtLocation TakingOff origin ?M ?A)
                    (capableAtLocation Landing destination ?M ?A))))))		 MilitaryProcesses.kif 2814-2822 If X is an instance of military airport, then X has the purpose there exists Y such that Y is an instance of military aircraft and taking off capable at location origin for Y with X or landing capable at location destination for Y with X
(=>
    (and
        (trafficableForTrafficType ?PLACE ?TYPE)
        (subclass ?TYPE TransportationDevice)
        (instance ?MOVER ?TYPE))
    (capableAtLocation Transportation instrument ?MOVER ?PLACE))		 Transportation.kif 3684-3689 If X is a trafficable for traffic type of Y, X is a subclass of transportation device, and Z is an instance of X, then transportation capable at location instrument for Z with Y
(=>
    (and
        (trafficableForTrafficType ?place ?type)
        (subclass ?type AutonomousAgent)
        (instance ?mover ?type))
    (capableAtLocation Translocation agent ?mover ?place))		 Transportation.kif 3691-3696 If X is a trafficable for traffic type of Y, X is a subclass of agent, and Z is an instance of X, then translocation capable at location agent for Z with Y
(=>
    (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 3766-3775 If All of the following hold: (1) X is a subclass of translocation (2) Y is an instance of X (3) Y is located at Z (4) W is an instance of case role (5) V is an instance of object (6) Z is an instance of geographic area (7) V is capable of doing X as a W, then X capable at location W for V with Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners