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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subAttribute

Sigma KEE - subAttribute
subAttribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 684-684 sub attribute and successor attribute are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1534-1535
No TPTP formula. May not be expressible in strict first order. Merge.kif 686-687
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 100-101
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 117-118
No TPTP formula. May not be expressible in strict first order. Merge.kif 682-682 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 683-683 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 680-680 sub attribute is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 681-681 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 55691-55691
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55690-55690

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4582-4590
No TPTP formula. May not be expressible in strict first order. Government.kif 352-357
No TPTP formula. May not be expressible in strict first order. Government.kif 345-350
No TPTP formula. May not be expressible in strict first order. Government.kif 256-264
No TPTP formula. May not be expressible in strict first order. Government.kif 4621-4629
No TPTP formula. May not be expressible in strict first order. Government.kif 2602-2606
No TPTP formula. May not be expressible in strict first order. Merge.kif 696-700
No TPTP formula. May not be expressible in strict first order. Merge.kif 689-694

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4557-4563
No TPTP formula. May not be expressible in strict first order. Government.kif 4565-4571
No TPTP formula. May not be expressible in strict first order. Government.kif 4408-4410

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2899-2899 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 4440-4440 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 18808-18808 Actor is a subattribute of performer
No TPTP formula. May not be expressible in strict first order. Biography.kif 353-353 Actuary is a subattribute of scientist
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6030-6030 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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