capability - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2086-2087
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3775-3777
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3772-3772	The number 2 argument of capability is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3773-3773	The number 3 argument of capability is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3771-3771	The number 1 argument of capability is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3770-3770	capability is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 67-67
No TPTP formula. May not be expressible in strict first order.	english_format.kif 67-67
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13030-13030
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 68-68
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13029-13029
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13028-13028

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1897-1908	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2927-2935	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4445-4468	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4667-4678	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1236-1242	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1038-1046	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1026-1036	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 966-974	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 954-964	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3787-3793	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9566-9571	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1845-1850	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1509-1515	An entity is an instance of LegalAgent 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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 578-583	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1897-1908	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3544-3548	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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3538-3542	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2418-2422	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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3489-3503	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	WMD.kif 982-986	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1798-1813	If a device is an instance of gun and a length measure is an effective range of the device and the distance between the device and an object is the length measure1 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 length measure1 is less than or equal to the length measure, then the device is capable of doing the class described by a symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1780-1794	If a device is an instance of gun and a length measure is an effective range of the device and the distance between the device and an object is the length measure1 and there doesn't exist the object2 such that the object2 is between the object and the device and the length measure1 is less than or equal to the length measure, then the device is capable of doing the class described by a symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2920-2925	If an object is an instance of harbor and the object equipment count ship berth for a quantity and the quantity is greater than 0, then the object is capable of doing ship berthing as a path
No TPTP formula. May not be expressible in strict first order.	naics.kif 7249-7264	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 an object such that the object is a member of the collection and the agent is an agent of the object and there exists another object such that the agent is an instance of selling and the other object is an instance of object and the other object is capable of doing constructing as a resource or the other object is capable of doing agriculture as a resource and the other object is a patient of the agent
No TPTP formula. May not be expressible in strict first order.	naics.kif 7607-7625	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 an object such that the object is a member of the collection and the agent is an agent of the object and there exists another object such that the agent is an instance of selling and the other object is an instance of object and the other object is capable of doing sport as a instrument or the other object is capable of doing making music as a instrument or the other object is an instance of book or the other object is an instance of music recording or the other object is an instance of music text and the other object is a patient of the agent
No TPTP formula. May not be expressible in strict first order.	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 an object such that the object is a member of the collection and the agent is an agent of the object and there exist another object, the object2 and the agent2 such that the agent is an instance of removing or the other object is an instance of sewage and the other object is a patient of the agent and the other object is an instance of electron or the other object is an instance of water or the other object is an instance of pure substance and the other object is capable of doing combustion as a patient and the object2 is a member of the collection and the agent2 is an instance of financial transaction and the object2 is an agent of the agent2 and the other object is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2927-2935	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3779-3785	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6997-7011	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12639-12653	If a process is an instance of radiating sound and an agent is an agent of the process and audible is an attribute of the process, then there exists an object such that the object is an instance of human and the object is capable of doing the class described by a symbolic string as a agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27588-27594	If an object is an instance of VehicleDoor and DeviceNormal is an attribute of the object, then the object is capable of doing patient as a opening and the object is capable of doing patient as a closing
No TPTP formula. May not be expressible in strict first order.	WMD.kif 51-55	If an object is an instance of biochemical weapon and an agent possesses the object, then the agent is capable of doing biochemical attack as a agent

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.

Government.kif 1078-1089

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: