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

Formal Language: 



KB Term:  Term intersection
English Word: 

  initialPart

Sigma KEE - initialPart
initialPart

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23699-23705
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23707-23707 The number 1 argument of initial part is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23708-23708 The number 2 argument of initial part is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23696-23696 initial part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23697-23697 initial part is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23698-23698 initial part is internally related to part

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3706-3706
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3705-3705
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3704-3704
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30127-30127
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30126-30126
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30125-30125

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23710-23719
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 600-608
No TPTP formula. May not be expressible in strict first order. Food.kif 1633-1639
No TPTP formula. May not be expressible in strict first order. Food.kif 2822-2824
No TPTP formula. May not be expressible in strict first order. Food.kif 1809-1814

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2876-2882
No TPTP formula. May not be expressible in strict first order. Economy.kif 4629-4634
No TPTP formula. May not be expressible in strict first order. Economy.kif 4693-4699
No TPTP formula. May not be expressible in strict first order. Economy.kif 4166-4172
No TPTP formula. May not be expressible in strict first order. Economy.kif 4532-4543
No TPTP formula. May not be expressible in strict first order. Food.kif 2906-2914
No TPTP formula. May not be expressible in strict first order. Economy.kif 5041-5046
No TPTP formula. May not be expressible in strict first order. Economy.kif 5051-5056
No TPTP formula. May not be expressible in strict first order. Economy.kif 4715-4721
No TPTP formula. May not be expressible in strict first order. Economy.kif 5296-5301
No TPTP formula. May not be expressible in strict first order. Economy.kif 5306-5311
No TPTP formula. May not be expressible in strict first order. Economy.kif 5316-5321
No TPTP formula. May not be expressible in strict first order. Economy.kif 5421-5426
No TPTP formula. May not be expressible in strict first order. Economy.kif 5326-5333
No TPTP formula. May not be expressible in strict first order. Economy.kif 5431-5436
No TPTP formula. May not be expressible in strict first order. Economy.kif 5284-5291
No TPTP formula. May not be expressible in strict first order. Economy.kif 5441-5446
No TPTP formula. May not be expressible in strict first order. Economy.kif 5338-5343
No TPTP formula. May not be expressible in strict first order. Economy.kif 5348-5353
No TPTP formula. May not be expressible in strict first order. Economy.kif 5461-5466
No TPTP formula. May not be expressible in strict first order. Economy.kif 5358-5363
No TPTP formula. May not be expressible in strict first order. Economy.kif 5368-5373
No TPTP formula. May not be expressible in strict first order. Economy.kif 5378-5383
No TPTP formula. May not be expressible in strict first order. Economy.kif 5409-5416
No TPTP formula. May not be expressible in strict first order. Economy.kif 5451-5456

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23721-23721 Every animal anatomical structure is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11529-11529 Every animal shell is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 688-688 Every arm bone is initially part of a arm
No TPTP formula. May not be expressible in strict first order. Economy.kif 4583-4583 Every avocado oil is initially part of a avocado
No TPTP formula. May not be expressible in strict first order. Economy.kif 4130-4130 Every barley grain is initially part of a barley grass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10783-10783 Every bicep is initially part of a arm
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 21-21 Every bone is initially part of a primate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10801-10801 Every gastrocnemius is initially part of a leg
No TPTP formula. May not be expressible in strict first order. Food.kif 2439-2439 Every chocolate is initially part of a cocoa bean
No TPTP formula. May not be expressible in strict first order. Food.kif 2492-2492 Every cocoa butter is initially part of a cocoa liquor
No TPTP formula. May not be expressible in strict first order. Food.kif 2484-2484 Every cocoa solid is initially part of a cocoa liquor
No TPTP formula. May not be expressible in strict first order. Economy.kif 4580-4580 Every coconut oil is initially part of a coconut
No TPTP formula. May not be expressible in strict first order. Food.kif 634-634 Every coffee is initially part of a coffee bean
No TPTP formula. May not be expressible in strict first order. Food.kif 1507-1507 Every common wheat flour is initially part of a common wheat grain
No TPTP formula. May not be expressible in strict first order. Food.kif 1547-1547 Every corn flour is initially part of a maize grain
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12135-12135 Every cornea is initially part of a eye
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12505-12505 Every digit appendage is initially part of a limb
No TPTP formula. May not be expressible in strict first order. Food.kif 1517-1517 Every durum wheat flour is initially part of a durum wheat grain
No TPTP formula. May not be expressible in strict first order. Food.kif 2547-2547 Every egg yolk is initially part of a egg
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11673-11673 Every exoskeleton is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1438-1438 Every eyebrow is initially part of a head
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 880-880 Every finger bone is initially part of a hand
No TPTP formula. May not be expressible in strict first order. Food.kif 2311-2311 Every flesh or pulp is initially part of a fruit or vegetable
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1102-1102 Every FoodBone is initially part of a foot
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10830-10830 Every forearm is initially part of a arm

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