subAttribute - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 677-677	sub attribute and successor attribute are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1534-1535	sub attribute and successor attribute are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 679-680	sub attribute and successor attribute are disjoint
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 100-101	sub attribute and successor attribute are disjoint
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 117-118	sub attribute and successor attribute are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 675-675	The number 1 argument of sub attribute is an instance of attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 676-676	The number 2 argument of sub attribute is an instance of attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 673-673	sub attribute is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 674-674	sub attribute is an instance of partial ordering relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 317-317
No TPTP formula. May not be expressible in strict first order.	english_format.kif 322-322
No TPTP formula. May not be expressible in strict first order.	french_format.kif 181-181
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 270-270
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2001-2001
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 133-133
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 194-194
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 416-416
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 307-307
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 201-201
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 191-191
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 462-462
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 318-318
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55724-55724
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55723-55723
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 132-132

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 4543-4551	If a nation diplomatic representation type a position for an agent and the position is a subattribute of diplomatic agent, then there exists a human such that the human is an instance of human and the human is a citizen of the nation and the nation is diplomatic representative in role the human for the position with the agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 352-357	If a form of government is a government type of a geopolitical area and the form of government is a subattribute of theocratic government and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area is an instance of religious organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 345-350	If a form of government is a government type of an agent and the form of government is a subattribute of theocratic government and the agent is an instance of organization, then the agent is an instance of religious organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 256-264	If a form of government is a government type of a geopolitical area and the geopolitical area is an instance of geopolitical area and the form of government is a subattribute of parliamentary government, then there exists an organization such that the organization is an instance of parliament and the organization is a part of the organization the government of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4582-4590	If an agent is an instance of nation and another agent is an instance of nation and a third agent is an instance of human and a position is an attribute of the third agent and the position is a subattribute of diplomatic agent and the agent is representative agent to agent the third agent for the other agent, then the agent diplomatic representation type the position for the other agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2563-2567	If an area of concern is an organizational objective of an agent and the area of concern is a subattribute of another area of concern, then the other area of concern is an organizational objective of the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 689-693	If an attribute is a subattribute of another attribute and the other attribute is an instance of a class, then the attribute is an instance of the class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 682-687	If an attribute is a subattribute of another attribute, then for all an entity if the entity the attribute the attribute, then the entity the attribute the other attribute

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 4518-4524	If a geopolitical area is a diplomatic relations of another geopolitical area, then there exists a position such that the position is an instance of foreign service position and the position is a subattribute of diplomatic agent and the other geopolitical area diplomatic representation type the position for the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4526-4532	If a geopolitical area is a diplomatic relations of another geopolitical area, then there exists a position such that the position is an instance of foreign service position and the position is a subattribute of diplomatic agent and the geopolitical area diplomatic representation type the position for the other geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9467-9469	If an occupational role is equal to profession a social role, then the occupational role is a subattribute of the social role
No TPTP formula. May not be expressible in strict first order.	Government.kif 4369-4371	If an attribute is an instance of foreign service position, then the attribute is a subattribute of diplomatic agent

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2916-2916	AON order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order.	naics.kif 3894-3894	Abrasive product manufacturing is a subattribute of other nonmetallic mineral product manufacturing
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1524-1524	Abruzzese Cuisine is a subattribute of Italian Cuisine
No TPTP formula. May not be expressible in strict first order.	Government.kif 327-327	Absolute monarchy is a subattribute of authoritarian regime
No TPTP formula. May not be expressible in strict first order.	Government.kif 240-240	Absolute monarchy is a subattribute of monarchy
No TPTP formula. May not be expressible in strict first order.	naics.kif 11559-11559	Accommodation is a subattribute of accommodation and food services
No TPTP formula. May not be expressible in strict first order.	naics.kif 9900-9900	Accounting tax preparation bookkeeping and payroll services is a subattribute of professional scientific and technical services
No TPTP formula. May not be expressible in strict first order.	Government.kif 4401-4401	Acting consul general is a subattribute of consul general
No TPTP formula. May not be expressible in strict first order.	naics.kif 9289-9289	Activities related to credit intermediation is a subattribute of credit intermediation and related activities
No TPTP formula. May not be expressible in strict first order.	naics.kif 9647-9647	Activities related to real estate is a subattribute of real estate industry
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20396-20396	Actor is a subattribute of performer
No TPTP formula. May not be expressible in strict first order.	Biography.kif 361-361	Actuary is a subattribute of scientist
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6986-6986	Acute bronchitis is a subattribute of bronchitis
No TPTP formula. May not be expressible in strict first order.	naics.kif 3387-3387	Adhesive manufacturing is a subattribute of paint coating and adhesive manufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 12355-12355	Administration of air and water resource and solid waste management programs is a subattribute of administration of environmental quality programs
No TPTP formula. May not be expressible in strict first order.	naics.kif 12364-12364	Administration of conservation programs is a subattribute of administration of environmental quality programs
No TPTP formula. May not be expressible in strict first order.	naics.kif 12395-12395	Administration of economic programs is a subattribute of public administration
No TPTP formula. May not be expressible in strict first order.	naics.kif 12317-12317	Administration of education programs is a subattribute of administration of human resource programs
No TPTP formula. May not be expressible in strict first order.	naics.kif 12348-12348	Administration of environmental quality programs is a subattribute of public administration
No TPTP formula. May not be expressible in strict first order.	naics.kif 12401-12401	Administration of general economic programs is a subattribute of administration of economic programs
No TPTP formula. May not be expressible in strict first order.	naics.kif 12379-12379	Administration of housing programs is a subattribute of administration of housing programs urban planning and community development
No TPTP formula. May not be expressible in strict first order.	naics.kif 12371-12371	Administration of housing programs urban planning and community development is a subattribute of public administration
No TPTP formula. May not be expressible in strict first order.	naics.kif 12311-12311	Administration of human resource programs is a subattribute of public administration
No TPTP formula. May not be expressible in strict first order.	naics.kif 12331-12331	Administration of human resource programs except education public health and veterans affairs programs is a subattribute of administration of human resource programs
No TPTP formula. May not be expressible in strict first order.	naics.kif 12324-12324	Administration of public health programs is a subattribute of administration of human resource programs

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: