capability - Sigma Knowledge base Browser

appearance as argument number 1

(documentation capability ChineseLanguage "(capability ?PROCESS ?ROLE ?OBJ) 的意思是 ?OBJ 由能力在 ?PROCESS 类型的 Process 担任 ?ROLE 的本分。")	chinese_format.kif 2086-2087
(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 3833-3835
(domain capability 2 CaseRole)	Merge.kif 3830-3830	The number 2 argument of capability is an instance of case role
(domain capability 3 Object)	Merge.kif 3831-3831	The number 3 argument of capability is an instance of object
(domainSubclass capability 1 Process)	Merge.kif 3829-3829	The number 1 argument of capability is a subclass of process
(instance capability TernaryPredicate)	Merge.kif 3828-3828	capability is an instance of ternary predicate

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 67-67
(termFormat ChineseLanguage capability "能力")	domainEnglishFormat.kif 13023-13023
(termFormat ChineseLanguage capability "能够")	chinese_format.kif 68-68
(termFormat ChineseTraditionalLanguage capability "能力")	domainEnglishFormat.kif 13022-13022
(termFormat EnglishLanguage capability "capability")	domainEnglishFormat.kif 13021-13021

antecedent

(=> (and (attribute ?P Muslim) (capability Hajj agent ?P)) (modalAttribute (exists (?H) (and (instance ?H Hajj) (agent ?H ?P))) Obligation))	ArabicCulture.kif 125-134	If muslim is an attribute of an object and the object is capable of doing hajj as a agent, then the statement there exists an entity such that the entity is an instance of hajj and the object is an agent of the entity has the modal force of obligation
(=> (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 1935-1946	If traveler accommodation is an attribute of an agent and the agent is capable of doing service as a agent, then there exist a cognitive agent and an object such that the agent employs the cognitive agent and maid is an attribute of the cognitive agent and the object is an instance of hotel unit and the object is a part of belongings of the agent and the object is capable of doing service as a patient and the cognitive agent is capable of doing service as a service provider
(=> (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	If an object is capable of doing a kind of process as a a case role and a kind of process is a subclass of shooting, then there exists another object such that the other object is an instance of weapon and the other object is a part of the object and the other object is capable of doing the kind of process as a the case role
(=> (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 153-171	If an organization is capable of doing valet parking as a agent and the organization is a customer of a cognitive agent and the organization is located at an object and a process is an instance of arriving and the cognitive agent is an agent of the process and an entity is a patient of the process and the process ends up at the object, then a human holds the position of valet in the organization and the statement there exists another entity such that the other entity is an instance of valet parking and the human is an agent of the other entity and the entity is a patient of the other entity and the other entity ends up at a third entity and the third entity is an instance of parking area has the modal force of possibility
(=> (and (instance ?PORT PortFacility) (capability ShipBerthing patient ?PORT)) (exists (?HARBOR) (and (instance ?HARBOR Harbor) (connected ?HARBOR ?PORT) (capability ShipBerthing path ?HARBOR))))	Transportation.kif 2948-2956	If an object is an instance of port facility and the object is capable of doing ship berthing as a patient, then there exists another object such that the other object is an instance of harbor and the other object is connected to the object and the other object is capable of doing ship berthing as a path
(=> (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 4450-4473	If a human is an instance of human and a collection is an instance of collection and for all an entity and a kind of process if the entity is an instance of experimenting and a kind of process is an instance of process and the kind of process is a member of events in an experimenting and the human is capable of doing the kind of process as a experiencer, then the kind of process is a member of the collection and if another kind of process is a member of the collection, then another kind of process is an instance of process and there exists another experimenting such that the other experimenting is an instance of experimenting and the other kind of process is a member of events in the other experimenting and the human is capable of doing the other kind of process as a experiencer , then all the processes the human is qualified for is equal to the collection
(=> (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 4672-4683	If a collection and another collection are orthogonal tests and an object is an instance of human and a kind of process is an instance of experimenting and a kind of process is a member of the collection and the object is capable of doing the kind of process as a experimental subject, then there exists another kind of process such that another kind of process is an instance of experimenting and the other kind of process is a member of the other collection and the object is capable of doing the other kind of process as a experimental subject
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (attribute ?AGENT Male))	Government.kif 1247-1253	If exclusive male suffrage is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and an election is an instance of the election of the nation and the human is capable of doing the voting of the election as a agent, then male is an attribute of the human
(=> (and (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT) (age ?AGENT (MeasureFn ?AGE YearDuration))) (lessThanOrEqualTo ?AGE ?VOTINGAGE))	Government.kif 1049-1057	If a real number year duration(s) is a suffrage age maximum of an agent and an election is an instance of the election of the agent and an object is capable of doing the voting of the election as a agent and the age of the object is another real number year duration(s), then the other real number is less than or equal to the real number
(=> (and (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (lessThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 1037-1047	If a real number year duration(s) is a suffrage age maximum of an agent and an election is an instance of the election of the agent and an object is capable of doing the voting of the election as a agent, then there exists another real number such that the age of the object is the other real number year duration(s) and the other real number is less than or equal to the real number
(=> (and (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT) (age ?AGENT (MeasureFn ?AGE YearDuration))) (greaterThanOrEqualTo ?AGE ?VOTINGAGE))	Government.kif 977-985	If a real number year duration(s) is a suffrage age minimum of an agent and an election is an instance of the election of the agent and an object is capable of doing the voting of the election as a agent and the age of the object is another real number year duration(s), then the other real number is greater than or equal to the real number
(=> (and (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 965-975	If a real number year duration(s) is a suffrage age minimum of an agent and an election is an instance of the election of the agent and an object is capable of doing the voting of the election as a agent, then there exists another real number such that the age of the object is the other real number year duration(s) and the other real number is greater than or equal to the real number
(=> (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	If a military vehicle %is weapon carrying capability a kind of weapon for a positive integer and an object is an instance of a kind of weapon and the object is capable of doing a kind of process as a a case role and a kind of process is a subclass of shooting or the kind of process is a subclass of damaging, then the military vehicle is capable of doing the kind of process as a the case role
(=> (capability ?PROCESS ?ROLE ?OBJ) (modalAttribute (exists (?P) (and (instance ?P ?PROCESS) (?ROLE ?P ?OBJ))) Possibility))	Merge.kif 3845-3851	If an object is capable of doing a kind of process as a a case role, then the statement there exists an entity such that the entity is an instance of a kind of process and the case role the entity and the object has the modal force of possibility
(=> (capability Breathing experiencer ?ANIMAL) (exists (?LUNG) (and (component ?LUNG ?ANIMAL) (instance ?LUNG Lung))))	Mid-level-ontology.kif 10746-10751	If a corpuscular object is capable of doing breathing as a experiencer, then there exists another corpuscular object such that the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of lung
(=> (capability ChildCareService agent ?X) (exists (?SITTER) (and (employs ?X ?SITTER) (capability ChildCareService serviceProvider ?SITTER))))	Hotel.kif 1883-1888	If an agent is capable of doing child-care service as a agent, then there exists a cognitive agent such that the agent employs the cognitive agent and the cognitive agent is capable of doing child-care service as a service provider
(=> (capability ValetParking agent ?AGENT) (exists (?VALET) (occupiesPosition ?VALET Valet ?AGENT)))	TransportDetail.kif 148-151	If an organization is capable of doing valet parking as a agent, then there exists a human such that the human holds the position of valet in the organization
(=> (trusts ?A1 ?A2 (capability ?P agent ?A2)) (knows ?A1 (capability ?P agent ?A2)))	Law.kif 427-431	If a cognitive agent trusts an agent, then the cognitive agent knows the agent is capable of doing an entity as a agent

consequent

(<=> (holdsDuring ?TIME (attribute ?AGENT LegalAgent)) (holdsDuring ?TIME (or (capability LegalAction agent ?AGENT) (capability LegalAction patient ?AGENT))))	Merge.kif 1549-1555	LegalAgent is an attribute of an entity holds during a time position if and only if the entity is capable of doing legal action as a agent or the entity is capable of doing legal action as a patient holds during the time position
(=> (activityCapability ?AGENT ?ACT) (exists (?LOC) (and (element ?LOC (PropertyFn ?AGENT)) (capability ?ACT located ?LOC))))	Hotel.kif 599-604	If an agent can hold kinds of a kind of process, then there exists an object such that the object is an element of belongings of the agent and the object is capable of doing a kind of process as a located
(=> (and (antagonistMuscles ?A ?B) (instance ?E Extension) (instrument ?E ?AC) (moves ?F ?BC) (instance ?AC ?A) (instance ?BC ?B) (part ?AC ?H) (part ?BC ?H) (instance ?H Mammal)) (capability Flexion instrument ?BC))	Mid-level-ontology.kif 10243-10254	If a kind of muscle and another kind of muscle are antagonist muscles and a process is an instance of Extension and a kind of muscleC is an instrument for the process and another kind of muscleC moves during a motion and the kind of muscleC is an instance of the kind of muscle and the other kind of muscleC is an instance of the other kind of muscle and the kind of muscleC is a part of a third object and the other kind of muscleC is a part of the third object and the third object is an instance of mammal, then the other kind of muscleC is capable of doing Flexion as a instrument
(=> (and (antagonistMuscles ?A ?B) (instance ?F Flexion) (instrument ?F ?AC) (moves ?F ?BC) (instance ?AC ?A) (instance ?BC ?B) (part ?AC ?H) (part ?BC ?H) (instance ?H Mammal)) (capability Extension instrument ?BC))	Mid-level-ontology.kif 10230-10241	If a kind of muscle and another kind of muscle are antagonist muscles and a motion is an instance of Flexion and a kind of muscleC is an instrument for the motion and another kind of muscleC moves during the motion and the kind of muscleC is an instance of the kind of muscle and the other kind of muscleC is an instance of the other kind of muscle and the kind of muscleC is a part of a third object and the other kind of muscleC is a part of the third object and the third object is an instance of mammal, then the other kind of muscleC is capable of doing Extension as a instrument
(=> (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 1935-1946	If traveler accommodation is an attribute of an agent and the agent is capable of doing service as a agent, then there exist a cognitive agent and an object such that the agent employs the cognitive agent and maid is an attribute of the cognitive agent and the object is an instance of hotel unit and the object is a part of belongings of the agent and the object is capable of doing service as a patient and the cognitive agent is capable of doing service as a service provider
(=> (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	If an object is capable of doing a kind of process as a a case role and a kind of process is a subclass of shooting, then there exists another object such that the other object is an instance of weapon and the other object is a part of the object and the other object is capable of doing the kind of process as a the case role
(=> (and (connectedPeripheral ?COD ?C) (instance ?COD ComputerInputDevice)) (capability ?COD origin DataTransfer))	ComputingBrands.kif 3516-3520	If %1 is a connected peripheral of %2 a kind of process and a computer and a kind of process is an instance of computer input device, then data transfer is capable of doing the kind of process as a origin
(=> (and (connectedPeripheral ?COD ?C) (instance ?COD ComputerOutputDevice)) (capability ?COD destination DataTransfer))	ComputingBrands.kif 3510-3514	If %1 is a connected peripheral of %2 a kind of process and a computer and a kind of process is an instance of computer output device, then data transfer is capable of doing the kind of process as a destination
(=> (and (instance ?Bond CallableBond) (issuedBy ?Bond ?Agent)) (capability Call agent ?Agent))	FinancialOntology.kif 2485-2489	If a certificate is an instance of callable bond and a cognitive agent is an issued by of the certificate, then the cognitive agent is capable of doing call as a agent
(=> (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 3461-3475	If a computer process is an instance of backup and a digital data is processed by the computer process and the digital data is an instance of digital data and a cognitive agent is an agent of the computer process, then the cognitive agent desires there exists an entity such that the time of existence of the computer process happens earlier than the entity and there exists another entity such that the other entity is an instance of computer process and the digital data is capable of doing the other entity as a data processed holds during the entity
(=> (and (instance ?D DeliveryService) (agent ?D ?AGENT)) (capability DeliveryService agent ?AGENT))	Dining.kif 487-491	If a process is an instance of delivery service and an agent is an agent of the process, then the agent is capable of doing delivery service as a agent
(=> (and (instance ?DISEASE LifeThreateningDisease) (attribute ?AGENT ?DISEASE)) (capability Death experiencer ?AGENT))	WMD.kif 1021-1025	If an attribute is an instance of life threatening disease and the attribute is an attribute of an object, then the object is capable of doing death as a experiencer
(=> (and (instance ?GUN Gun) (instance ?U UnitOfLength) (effectiveRange ?GUN (MeasureFn ?LM ?U)) (distance ?GUN ?O (MeasureFn ?LM1 ?U)) (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 1383-1401	If a device is an instance of gun and an unit of measure is an instance of UnitOfLength and a real number the unit of measure(s) is an effective range of the device and the distance between the device and an object is the real number1 the unit of measure(s) and the object is an instance of organism and there doesn't exist the object2 such that the object2 is between the object and the device and the real number1 is less than or equal to the real number, then the device is capable of doing the class described by a symbolic string as a instrument
(=> (and (instance ?GUN Gun) (instance ?U UnitOfLength) (effectiveRange ?GUN (MeasureFn ?LM ?U)) (distance ?GUN ?O (MeasureFn ?LM1 ?U)) (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 1362-1379	If a device is an instance of gun and an unit of measure is an instance of UnitOfLength and a real number the unit of measure(s) is an effective range of the device and the distance between the device and an object is the real number1 the unit of measure(s) and there doesn't exist the object2 such that the object2 is between the object and the device and the real number1 is less than or equal to the real number, then the device is capable of doing the class described by a symbolic string as a instrument
(=> (and (instance ?HARBOR Harbor) (equipmentCount ?HARBOR ShipBerth ?NUM) (greaterThan ?NUM 0)) (capability ShipBerthing path ?HARBOR))	Transportation.kif 2941-2946	If an object is an instance of harbor and the object equipment count ship berth for a real number and the real number is greater than 0, then the object is capable of doing ship berthing as a path
(=> (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 7242-7257	If a collection is an instance of organization and building material and garden equipment and supplies dealers is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists an object such that the agent is an instance of selling and the object is an instance of object and the object is capable of doing constructing as a resource or the object is capable of doing agriculture as a resource and the object is a patient of the agent
(=> (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 7600-7618	If a collection is an instance of organization and sporting goods hobby book and music stores is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists an object such that the agent is an instance of selling and the object is an instance of object and the object is capable of doing sport as a instrument or the object is capable of doing making music as a instrument or the object is an instance of book or the object is an instance of music recording or the object is an instance of music text and the object is a patient of the agent
(=> (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	If a collection is an instance of organization and utilities is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an object, the process2 and the agent2 such that the agent is an instance of removing or the object is an instance of sewage and the object is a patient of the agent and the object is an instance of electron or the object is an instance of water or the object is an instance of pure substance and the object is capable of doing combustion as a patient and the process2 is a member of the collection and the agent2 is an instance of financial transaction and the process2 is an agent of the agent2 and the object is a patient of the agent2
(=> (and (instance ?P BankCardPayment) (destination ?P ?AGENT)) (capability BankCardPayment destination ?AGENT))	Dining.kif 410-414	If a process is an instance of bank card payment and the process ends up at an object, then the object is capable of doing bank card payment as a destination
(=> (and (instance ?P CateringService) (agent ?P ?REST)) (capability ?P agent ?REST))	Dining.kif 534-538	If a kind of process is an instance of catering and an agent is an agent of a kind of process, then the agent is capable of doing the kind of process as a agent
(=> (and (instance ?P Plant) (part ?TIS ?P)) (exists (?K ?W ?CLASS) (and (instance ?K ?CLASS) (subclass ?CLASS Keeping) (instance ?W Water) (patient ?K ?W) (capability ?CLASS instrument ?TIS) (or (instance ?TIS PlantLeaf) (instance ?TIS PlantStem)))))	Mid-level-ontology.kif 9207-9220	If an object is an instance of plant and another object is a part of the object, then there exist a process, an entity and another kind of process such that the process is an instance of another kind of process and the other kind of process is a subclass of keeping and the entity is an instance of water and the entity is a patient of the process and the other object is capable of doing the other kind of process as a instrument and the other object is an instance of PlantLeaf or the other object is an instance of PlantStem
(=> (and (instance ?PORT PortFacility) (capability ShipBerthing patient ?PORT)) (exists (?HARBOR) (and (instance ?HARBOR Harbor) (connected ?HARBOR ?PORT) (capability ShipBerthing path ?HARBOR))))	Transportation.kif 2948-2956	If an object is an instance of port facility and the object is capable of doing ship berthing as a patient, then there exists another object such that the other object is an instance of harbor and the other object is connected to the object and the other object is capable of doing ship berthing as a path
(=> (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 233-245	If a physical is an instance of projectile and a length measure is a caliber of a kind of gun and an object is an instance of a kind of gun and the width of the physical is the length measure1 and the length measure is equal to the length measure1, then the object is capable of doing the class described by a symbolic string as a instrument
(=> (and (instance ?ROLE CaseRole) (?ROLE ?ARG1 ?ARG2) (instance ?ARG1 ?PROC) (subclass ?PROC Process)) (capability ?PROC ?ROLE ?ARG2))	Merge.kif 3837-3843	If a case role is an instance of case role and the case role an entity and an object and the entity is an instance of a kind of process and a kind of process is a subclass of process, then the object is capable of doing the kind of process as a the case role
(=> (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 7049-7063	If an object is an instance of auditorium seat and the object is a part of another object and a third object is a part of the other object and the other object is an instance of auditorium and the third object is an instance of performance stage and a fourth object is located at the object and the fourth object is an instance of human and a kind of process is a subclass of seeing and for all another process if the other process is an instance of a kind of process, then the third object is a patient of the other process , then the fourth object is capable of doing the kind of process as a agent

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
                    (MeasureFn ?VOTINGAGE YearDuration))
                (age ?AGENT
                    (MeasureFn ?AGE YearDuration))
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (capability
                (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw)

Government.kif 1089-1100

For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE

if ?AGENT is a citizen of ?POLITY and ?VOTINGAGE year duration(s) is a suffrage age minimum of ?POLITY and the age of ?AGENT is ?AGE year duration(s) and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY,
then ?AGENT is capable of doing the voting of ?ELECTION as a agent

contains information universal suffrage law

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

KB Term:			Term intersection

English Word: