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 655-655 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 657-658
No TPTP formula. May not be expressible in strict first order. Merge.kif 653-653 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 654-654 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 651-651 sub attribute is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 652-652 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 325-325
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 55605-55605
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55604-55604

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4513-4521
No TPTP formula. May not be expressible in strict first order. Government.kif 340-345
No TPTP formula. May not be expressible in strict first order. Government.kif 333-338
No TPTP formula. May not be expressible in strict first order. Government.kif 244-252
No TPTP formula. May not be expressible in strict first order. Government.kif 4552-4560
No TPTP formula. May not be expressible in strict first order. Government.kif 2543-2547
No TPTP formula. May not be expressible in strict first order. Merge.kif 667-671
No TPTP formula. May not be expressible in strict first order. Merge.kif 660-665

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4488-4494
No TPTP formula. May not be expressible in strict first order. Government.kif 4496-4502
No TPTP formula. May not be expressible in strict first order. Government.kif 4339-4341

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2820-2820 AON order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. naics.kif 3901-3901 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 1471-1471 Abruzzese Cuisine is a subattribute of Italian Cuisine
No TPTP formula. May not be expressible in strict first order. Government.kif 315-315 Absolute monarchy is a subattribute of authoritarian regime
No TPTP formula. May not be expressible in strict first order. Government.kif 228-228 Absolute monarchy is a subattribute of monarchy
No TPTP formula. May not be expressible in strict first order. naics.kif 11482-11482 Accommodation is a subattribute of accommodation and food services
No TPTP formula. May not be expressible in strict first order. naics.kif 9823-9823 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 4371-4371 Acting consul general is a subattribute of consul general
No TPTP formula. May not be expressible in strict first order. naics.kif 9212-9212 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 9570-9570 Activities related to real estate is a subattribute of RealEstateIndustry
No TPTP formula. May not be expressible in strict first order. Biography.kif 120-120 Actuary is a subattribute of Scientist
No TPTP formula. May not be expressible in strict first order. naics.kif 3394-3394 Adhesive manufacturing is a subattribute of paint coating and adhesive manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 12278-12278 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 12287-12287 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 12318-12318 Administration of economic programs is a subattribute of public administration
No TPTP formula. May not be expressible in strict first order. naics.kif 12240-12240 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 12271-12271 Administration of environmental quality programs is a subattribute of public administration
No TPTP formula. May not be expressible in strict first order. naics.kif 12324-12324 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 12302-12302 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 12294-12294 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 12234-12234 Administration of human resource programs is a subattribute of public administration
No TPTP formula. May not be expressible in strict first order. naics.kif 12254-12254 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 12247-12247 Administration of public health programs is a subattribute of administration of human resource programs
No TPTP formula. May not be expressible in strict first order. naics.kif 12309-12309 Administration of urban planning and community and rural development 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 12264-12264 Administration of veterans affairs 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