capability - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4009-4010
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4006-4008
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4004-4004	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 4005-4005	The number 3 argument of capability is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4003-4003	The number 1 argument of capability is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4002-4002	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 60-60
No TPTP formula. May not be expressible in strict first order.	french_format.kif 59-59
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 40-40
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 11-11
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 9-9
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 74-74
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 118-118
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 74-74
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 82-82
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 96-96
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 68-68	"能够" is the printable form of capability in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2593-2593	"capability" is the printable form of capability in english language
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 459-459	"«قَادِر عَلَى عَمَل بِدَوْر»" is the printable form of capability in ar
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 97-97	"may katako" is the printable form of capability in tg

antecedent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 125-134	If muslim is an attribute of an agent and the agent is capable of doing hajj as a agent, then the statement there exists a process such that the process is an instance of hajj and the agent is an agent of the process has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1879-1890	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 151-169	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 process such that the other process is an instance of valet parking and the human is an agent of the other process and the entity is a patient of the other process and the other process ends up at another entity and the other 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 2865-2873	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 4440-4463	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 4662-4673	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 1211-1217	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 1035-1041	If a time duration 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 time duration, then the other time duration is less than or equal to the time duration
No TPTP formula. May not be expressible in strict first order.	Government.kif 1025-1033	If a time duration 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 time duration such that the age of the object is the other time duration and the other time duration is less than or equal to the time duration
No TPTP formula. May not be expressible in strict first order.	Government.kif 971-977	If a time duration 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 time duration, then the other time duration is greater than or equal to the time duration
No TPTP formula. May not be expressible in strict first order.	Government.kif 961-969	If a time duration 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 time duration such that the age of the object is the other time duration and the other time duration is greater than or equal to the time duration
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 35-43	If an object weapon carrying capability a kind of weapon for a positive integer and another object is an instance of a kind of weapon and the other 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 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.	Merge.kif 4020-4026	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 9570-9575	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 1827-1832	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 146-149	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 423-427	If an entity trusts an object, then the entity knows the object is capable of doing a kind of process as a agent

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1630-1636	An object is an instance of LegalAgent holds during an entity if and only if the object is capable of doing legal action as a agent or the object is capable of doing legal action as a patient holds during the entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 568-573	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 1879-1890	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.	FinancialOntology.kif 2400-2404	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.	Dining.kif 491-495	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 973-977	If an entity is an instance of life threatening disease and the entity 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 1797-1812	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 process as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1779-1793	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 process as a instrument
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2858-2863	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 414-418	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 538-542	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 2865-2873	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 232-244	If an object is an instance of projectile and a length measure is a caliber of a kind of gun and another object is an instance of a kind of gun and the width of the object is the length measure1 and the length measure is equal to the length measure1, then the other object is capable of doing the class described by a process as a instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4012-4018	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 7012-7026	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 13436-13450	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 another agent such that the other agent is an instance of human and the other agent is capable of doing the class described by another process as a agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27109-27115	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.	Transportation.kif 1706-1713	If an entity is an instance of cargo vehicle and an object is an instance of the class described by another entity, then the object is capable of doing transportation as a patient
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1694-1698	If an entity is an instance of passenger vehicle and an object is an instance of human, then the object is capable of doing transportation as a patient
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
No TPTP formula. May not be expressible in strict first order.	Dining.kif 247-256	If an object is an instance of content bearing object and Braille is an attribute of the object, then there exists another object such that the other object is an instance of human and blind is an attribute of the other object and the other object is capable of doing interpreting as a agent and the object is capable of doing interpreting as a patient

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 1069-1078

For all a nation, a human,, , an election,, , a time duration and another time duration

if the human is a citizen of the nation and the time duration is a suffrage age minimum of the nation and the age of the human is the other time duration and the other time duration is greater than or equal to the time duration and the election is an instance of the election of the nation,
then the human is capable of doing the voting of the 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: