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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - capability
capability

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


(documentation capability ChineseLanguage "(capability ?PROCESS ?ROLE ?OBJ) 的意思是 ?OBJ 由能力在 ?PROCESS 类型的 Process 担任 ?ROLE 的本分。") Merge.kif 5880-5881
(documentation capability EnglishLanguage "(capability ?PROCESS ?ROLE ?OBJ) means that ?OBJ has the ability to play the role of ?ROLE in Processes of type ?PROCESS.") Merge.kif 5876-5878
(documentation capability JapaneseLanguage "(capability ?PROCESS ?ROLE ?OBJ) とは、?OBJ が、タイプ ?PROCESS の Processes で ?ROLE の役割を果たす能力を持っている、という意味である。") Merge.kif 5883-5884
(domain capability 2 CaseRole) Merge.kif 5873-5873 capability の数値 2 引数は 格役割instance では %n
(domain capability 3 Object) Merge.kif 5874-5874 capability の数値 3 引数は オブジェクトinstance では %n
(domainSubclass capability 1 Process) Merge.kif 5872-5872 capability の数値 1 引数は 工程subclass では %n
(instance capability TernaryPredicate) Merge.kif 5871-5871 capability3進述語instance では %n

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


(format ChineseLanguage capability "%3 %n 能够担当 %2 的角色做 %1") chinese_format.kif 67-67
(format EnglishLanguage capability "%3 is %n capable of doing %1 as a %2") english_format.kif 74-74
(format JapaneseLanguage capability "%3 は %1 を %2 として行う capable では %n") english_format.kif 75-75
(termFormat ChineseLanguage capability "能力") domainEnglishFormat.kif 12961-12961 termFormat ChineseLanguage, capability and "能力"
(termFormat ChineseLanguage capability "能够") chinese_format.kif 68-68 termFormat ChineseLanguage, capability and "能够"
(termFormat ChineseTraditionalLanguage capability "能力") domainEnglishFormat.kif 12960-12960 termFormat ChineseTraditionalLanguage, capability and "能力"
(termFormat EnglishLanguage capability "capability") domainEnglishFormat.kif 12959-12959 termFormat EnglishLanguage, capability and "capability"

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


(=>
    (and
        (attribute ?P Muslim)
        (capability Hajj agent ?P))
    (modalAttribute
        (exists (?H)
            (and
                (instance ?H Hajj)
                (agent ?H ?P))) Obligation))
ArabicCulture.kif 125-134
(=>
    (and
        (attribute ?X TravelerAccommodation)
        (capability RoomCleaningService agent ?X))
    (exists (?MAID ?HOTELROOM)
        (and
            (employs ?X ?MAID)
            (attribute ?MAID Maid)
            (instance ?HOTELROOM HotelUnit)
            (part ?HOTELROOM
                (PropertyFn ?X))
            (capability RoomCleaningService patient ?HOTELROOM)
            (capability RoomCleaningService serviceProvider ?MAID))))
Hotel.kif 1879-1890
(=>
    (and
        (capability ?PC ?ROLE ?MV)
        (subclass ?PC Shooting))
    (exists (?WEAPON)
        (and
            (instance ?WEAPON Weapon)
            (part ?WEAPON ?MV)
            (capability ?PC ?ROLE ?WEAPON))))
MilitaryDevices.kif 48-56
(=>
    (and
        (capability ValetParking agent ?AGENT)
        (customer ?CUST ?AGENT)
        (located ?AGENT ?LOC)
        (instance ?D Arriving)
        (agent ?D ?CUST)
        (patient ?D ?VEHICLE)
        (destination ?D ?LOC))
    (and
        (occupiesPosition ?VALET Valet ?AGENT)
        (modalAttribute
            (exists (?VP)
                (and
                    (instance ?VP ValetParking)
                    (agent ?VP ?VALET)
                    (patient ?VP ?VEHICLE)
                    (destination ?VP ?PARK)
                    (instance ?PARK ParkingRegion))) Possibility)))
TransportDetail.kif 151-169
(=>
    (and
        (instance ?PORT PortFacility)
        (capability ShipBerthing patient ?PORT))
    (exists (?HARBOR)
        (and
            (instance ?HARBOR Harbor)
            (connected ?HARBOR ?PORT)
            (capability ShipBerthing path ?HARBOR))))
Transportation.kif 2893-2901
(=>
    (and
        (instance ?VISITOR Human)
        (instance ?COLL Collection)
        (forall (?EXPERIMENTING ?EVENT)
            (=>
                (and
                    (instance ?EXPERIMENTING Experimenting)
                    (instance ?EVENT Process)
                    (member ?EVENT
                        (QualifyingEventsFn ?EXPERIMENT))
                    (capability ?EVENT experiencer ?VISITOR))
                (member ?EVENT ?COLL)))
        (=>
            (member ?PROC ?COLL)
            (and
                (instance ?PROC Process)
                (exists (?EXP)
                    (and
                        (instance ?EXP Experimenting)
                        (member ?PROC
                            (QualifyingEventsFn ?EXP))
                        (capability ?PROC experiencer ?VISITOR))))))
    (equal
        (QualifiedTreatmentsFn ?VISITOR) ?COLL))
UXExperimentalTerms.kif 4439-4462
(=>
    (and
        (orthogonalTests ?TESTCOL1 ?TESTCOL2)
        (instance ?SUBJECT Human)
        (instance ?EXPERIMENT1 Experimenting)
        (member ?EXPERIMENT1 ?TESTCOL1)
        (capability ?EXPERIMENT1 experimentalSubject ?SUBJECT))
    (exists (?EXPERIMENT2)
        (and
            (instance ?EXPERIMENT2 Experimenting)
            (member ?EXPERIMENT2 ?TESTCOL2)
            (capability ?EXPERIMENT2 experimentalSubject ?SUBJECT))))
UXExperimentalTerms.kif 4661-4672
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (capability
            (VotingFn ?ELECTION) agent ?AGENT))
    (attribute ?AGENT Male))
Government.kif 1211-1217
(=>
    (and
        (suffrageAgeMaximum ?POLITY ?VOTINGAGE)
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (capability
            (VotingFn ?ELECTION) agent ?AGENT)
        (age ?AGENT ?AGE))
    (lessThanOrEqualTo ?AGE ?VOTINGAGE))
Government.kif 1035-1041
(=>
    (and
        (suffrageAgeMaximum ?POLITY ?VOTINGAGE)
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (capability
            (VotingFn ?ELECTION) agent ?AGENT))
    (exists (?AGE)
        (and
            (age ?AGENT ?AGE)
            (lessThanOrEqualTo ?AGE ?VOTINGAGE))))
Government.kif 1025-1033
(=>
    (and
        (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (capability
            (VotingFn ?ELECTION) agent ?AGENT)
        (age ?AGENT ?AGE))
    (greaterThanOrEqualTo ?AGE ?VOTINGAGE))
Government.kif 971-977
(=>
    (and
        (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (capability
            (VotingFn ?ELECTION) agent ?AGENT))
    (exists (?AGE)
        (and
            (age ?AGENT ?AGE)
            (greaterThanOrEqualTo ?AGE ?VOTINGAGE))))
Government.kif 961-969
(=>
    (and
        (weaponCarryingCapability ?MV ?WC ?COUNT)
        (instance ?WEAPON ?WC)
        (capability ?PC ?ROLE ?WEAPON)
        (or
            (subclass ?PC Shooting)
            (subclass ?PC Damaging)))
    (capability ?PC ?ROLE ?MV))
MilitaryDevices.kif 35-43
(=>
    (capability ?PROCESS ?ROLE ?OBJ)
    (modalAttribute
        (exists (?P)
            (and
                (instance ?P ?PROCESS)
                (?ROLE ?P ?OBJ))) Possibility))
Merge.kif 5894-5900
(=>
    (capability Breathing experiencer ?ANIMAL)
    (exists (?LUNG)
        (and
            (component ?LUNG ?ANIMAL)
            (instance ?LUNG Lung))))
Mid-level-ontology.kif 9583-9588
(=>
    (capability ChildCareService agent ?X)
    (exists (?SITTER)
        (and
            (employs ?X ?SITTER)
            (capability ChildCareService serviceProvider ?SITTER))))
Hotel.kif 1827-1832
(=>
    (capability ValetParking agent ?AGENT)
    (exists (?VALET)
        (occupiesPosition ?VALET Valet ?AGENT)))
TransportDetail.kif 146-149
(=>
    (trusts ?A1 ?A2
        (capability ?P agent ?A2))
    (knows ?A1
        (capability ?P agent ?A2)))
Law.kif 423-427

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


(<=>
    (holdsDuring ?TIME
        (instance ?AGENT LegalAgent))
    (holdsDuring ?TIME
        (or
            (capability LegalAction agent ?AGENT)
            (capability LegalAction patient ?AGENT))))
Merge.kif 2595-2601 エンティティーLegalAgentinstance では %n は 時間位置during holds %n{ない} エンティティー訴訟agent として行う capable では %n エンティティー訴訟patient として行う capable では %n は 時間位置during holds %n{ない}
(=>
    (activityCapability ?AGENT ?ACT)
    (exists (?LOC)
        (and
            (element ?LOC
                (PropertyFn ?AGENT))
            (capability ?ACT located ?LOC))))
Hotel.kif 568-573
(=>
    (and
        (attribute ?X TravelerAccommodation)
        (capability RoomCleaningService agent ?X))
    (exists (?MAID ?HOTELROOM)
        (and
            (employs ?X ?MAID)
            (attribute ?MAID Maid)
            (instance ?HOTELROOM HotelUnit)
            (part ?HOTELROOM
                (PropertyFn ?X))
            (capability RoomCleaningService patient ?HOTELROOM)
            (capability RoomCleaningService serviceProvider ?MAID))))
Hotel.kif 1879-1890
(=>
    (and
        (capability ?PC ?ROLE ?MV)
        (subclass ?PC Shooting))
    (exists (?WEAPON)
        (and
            (instance ?WEAPON Weapon)
            (part ?WEAPON ?MV)
            (capability ?PC ?ROLE ?WEAPON))))
MilitaryDevices.kif 48-56
(=>
    (and
        (connectedPeripheral ?COD ?C)
        (instance ?COD ComputerInputDevice))
    (capability ?COD origin DataTransfer))
ComputingBrands.kif 3365-3369
(=>
    (and
        (connectedPeripheral ?COD ?C)
        (instance ?COD ComputerOutputDevice))
    (capability ?COD destination DataTransfer))
ComputingBrands.kif 3359-3363
(=>
    (and
        (instance ?Bond CallableBond)
        (issuedBy ?Bond ?Agent))
    (capability Call agent ?Agent))
FinancialOntology.kif 2400-2404
(=>
    (and
        (instance ?C ComputerBackingUp)
        (dataProcessed ?C ?DD)
        (instance ?DD DigitalData)
        (agent ?C ?A))
    (desires ?A
        (exists (?T)
            (and
                (earlier
                    (WhenFn ?C) ?T)
                (holdsDuring
                    (?T)
                    (exists (?PROC)
                        (and
                            (instance ?PROC ComputerProcess)
                            (capability ?PROC dataProcessed ?DD))))))))
ComputingBrands.kif 3308-3322
(=>
    (and
        (instance ?D DeliveryService)
        (agent ?D ?AGENT))
    (capability DeliveryService agent ?AGENT))
Dining.kif 491-495
(=>
    (and
        (instance ?DISEASE LifeThreateningDisease)
        (attribute ?AGENT ?DISEASE))
    (capability Death experiencer ?AGENT))
WMD.kif 973-977
(=>
    (and
        (instance ?GUN Gun)
        (effectiveRange ?GUN ?LM)
        (distance ?GUN ?O ?LM1)
        (instance ?O Organism)
        (not
            (exists (?O2)
                (between ?O ?O2 ?GUN)))
        (lessThanOrEqualTo ?LM1 ?LM))
    (capability
        (KappaFn ?KILLING
            (and
                (instance ?KILLING Killing)
                (patient ?KILLING ?O))) instrument ?GUN))
Mid-level-ontology.kif 1797-1812
(=>
    (and
        (instance ?GUN Gun)
        (effectiveRange ?GUN ?LM)
        (distance ?GUN ?O ?LM1)
        (not
            (exists (?O2)
                (between ?O ?O2 ?GUN)))
        (lessThanOrEqualTo ?LM1 ?LM))
    (capability
        (KappaFn ?DAMAGING
            (and
                (instance ?DAMAGING Damaging)
                (patient ?DAMAGING ?O))) instrument ?GUN))
Mid-level-ontology.kif 1779-1793
(=>
    (and
        (instance ?HARBOR Harbor)
        (equipmentCount ?HARBOR ShipBerth ?NUM)
        (greaterThan ?NUM 0))
    (capability ShipBerthing path ?HARBOR))
Transportation.kif 2886-2891
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG BuildingMaterialAndGardenEquipmentAndSuppliesDealers))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING)
                (and
                    (instance ?EV Selling)
                    (instance ?THING Object)
                    (or
                        (capability Constructing resource ?THING)
                        (capability Agriculture resource ?THING))
                    (patient ?EV ?THING))))))
naics.kif 7249-7264
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG SportingGoodsHobbyBookAndMusicStores))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING)
                (and
                    (instance ?EV Selling)
                    (instance ?THING Object)
                    (or
                        (capability Sport instrument ?THING)
                        (capability MakingMusic instrument ?THING)
                        (instance ?THING Book)
                        (instance ?THING MusicRecording)
                        (instance ?THING MusicText))
                    (patient ?EV ?THING))))))
naics.kif 7607-7625
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG Utilities))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (or
                        (instance ?EV Removing)
                        (instance ?THING Sewage))
                    (patient ?EV ?THING)
                    (or
                        (instance ?THING Electron)
                        (instance ?THING Water)
                        (and
                            (instance ?THING PureSubstance)
                            (capability Combustion patient ?THING)))
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 FinancialTransaction)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 954-977
(=>
    (and
        (instance ?P BankCardPayment)
        (destination ?P ?AGENT))
    (capability BankCardPayment destination ?AGENT))
Dining.kif 414-418
(=>
    (and
        (instance ?P CateringService)
        (agent ?P ?REST))
    (capability ?P agent ?REST))
Dining.kif 538-542
(=>
    (and
        (instance ?PORT PortFacility)
        (capability ShipBerthing patient ?PORT))
    (exists (?HARBOR)
        (and
            (instance ?HARBOR Harbor)
            (connected ?HARBOR ?PORT)
            (capability ShipBerthing path ?HARBOR))))
Transportation.kif 2893-2901
(=>
    (and
        (instance ?PROJ Projectile)
        (caliber ?GUNCLASS ?LM)
        (instance ?GUN ?GUNCLASS)
        (width ?PROJ ?LM1)
        (equal ?LM ?LM1))
    (capability
        (KappaFn ?SHOOTING
            (and
                (instance ?SHOOTING Shooting)
                (patient ?SHOOTING ?PROJ))) instrument ?GUN))
MilitaryDevices.kif 232-244
(=>
    (and
        (instance ?ROLE CaseRole)
        (?ROLE ?ARG1 ?ARG2)
        (instance ?ARG1 ?PROC)
        (subclass ?PROC Process))
    (capability ?PROC ?ROLE ?ARG2))
Merge.kif 5886-5892
(=>
    (and
        (instance ?SEAT AuditoriumSeat)
        (part ?SEAT ?AUDITORIUM)
        (part ?STAGE ?AUDITORIUM)
        (instance ?AUDITORIUM Auditorium)
        (instance ?STAGE PerformanceStage)
        (located ?PERSON ?SEAT)
        (instance ?PERSON Human)
        (subclass ?SEE Seeing)
        (forall (?INST)
            (=>
                (instance ?INST ?SEE)
                (patient ?INST ?STAGE))))
    (capability ?SEE agent ?PERSON))
Mid-level-ontology.kif 7017-7031
(=>
    (and
        (instance ?SOUND RadiatingSound)
        (agent ?SOUND ?OBJ)
        (attribute ?SOUND Audible))
    (exists (?HUMAN)
        (and
            (instance ?HUMAN Human)
            (capability
                (KappaFn ?HEAR
                    (and
                        (instance ?HEAR Hearing)
                        (agent ?HEAR ?HUMAN)
                        (destination ?HEAR ?HUMAN)
                        (origin ?HEAR ?OBJ))) agent ?HUMAN))))
Merge.kif 17944-17958
(=>
    (and
        (instance ?VD VehicleDoor)
        (attribute ?VD DeviceNormal))
    (and
        (capability patient Opening ?VD)
        (capability patient Closing ?VD)))
Mid-level-ontology.kif 27551-27557
(=>
    (and
        (instance ?VEHICLE CargoVehicle)
        (instance ?OB
            (KappaFn ?O
                (not
                    (instance ?O Human)))))
    (capability Transportation patient ?OB))
Transportation.kif 1733-1740

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(containsInformation
    (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE)
        (=>
            (and
                (citizen ?AGENT ?POLITY)
                (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
                (age ?AGENT ?AGE)
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (capability
                (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw)
Government.kif 1069-1078 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE UniversalSuffrageLaw の情報を contains %n{ない}


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners