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

Formal Language: 



KB Term:  Term intersection
English Word: 

  part

Sigma KEE - part
part

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1570-1572
No TPTP formula. May not be expressible in strict first order. Merge.kif 878-882
No TPTP formula. May not be expressible in strict first order. Merge.kif 875-875 The number 1 argument of part is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 876-876 The number 2 argument of part is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 874-874 part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 873-873 part is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 872-872 part is an instance of spatial relation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 946-946 contains and part are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 161-161
No TPTP formula. May not be expressible in strict first order. english_format.kif 165-165
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21707-21707 havePartTypes is internally related to part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21654-21654 initial part is internally related to part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21681-21681 initially contains part is internally related to part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21723-21723 partTypes is internally related to part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21580-21580 typical part is internally related to part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21617-21617 typically contains part is internally related to part
No TPTP formula. May not be expressible in strict first order. Merge.kif 916-916 component is a subrelation of part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 34-34 genetic substrate of virus is a subrelation of part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10807-10807 half is a subrelation of part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22155-22155 inString is a subrelation of part
No TPTP formula. May not be expressible in strict first order. Merge.kif 9127-9127 interior part is a subrelation of part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10850-10850 most is a subrelation of part
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2703-2703 path in system is a subrelation of part
No TPTP formula. May not be expressible in strict first order. Merge.kif 900-900 piece is a subrelation of part
No TPTP formula. May not be expressible in strict first order. Merge.kif 886-886 proper part is a subrelation of part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10841-10841 quarter is a subrelation of part
No TPTP formula. May not be expressible in strict first order. Merge.kif 1193-1193 sub collection is a subrelation of part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22191-22191 subString is a subrelation of part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10823-10823 third is a subrelation of part
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 162-162
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44442-44442

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6899-6910 An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and 10 is greater than the real number and the real number is greater than 2.5 if and only if there exists the object10 such that the object10 is an instance of PM10 and the object10 is a part of the object
No TPTP formula. May not be expressible in strict first order. Geography.kif 6928-6938 An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and the real number is greater than or equal to 2.5 if and only if there exists the object25 such that the object25 is an instance of PM2.5 and the object25 is a part of the object
No TPTP formula. May not be expressible in strict first order. Geography.kif 1707-1712
No TPTP formula. May not be expressible in strict first order. Geography.kif 1719-1724
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2664-2675
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2632-2643
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17254-17264
No TPTP formula. May not be expressible in strict first order. Merge.kif 9150-9155
No TPTP formula. May not be expressible in strict first order. Geography.kif 514-518
No TPTP formula. May not be expressible in strict first order. Cars.kif 1534-1540
No TPTP formula. May not be expressible in strict first order. Cars.kif 2572-2588
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2603-2611
No TPTP formula. May not be expressible in strict first order. Cars.kif 2554-2570
No TPTP formula. May not be expressible in strict first order. Merge.kif 4102-4108
No TPTP formula. May not be expressible in strict first order. Merge.kif 9335-9341
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9751-9758
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1619-1630
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1632-1644
No TPTP formula. May not be expressible in strict first order. Cars.kif 844-857
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9893-9898
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9873-9878
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 584-589
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3955-3965
No TPTP formula. May not be expressible in strict first order. Merge.kif 16835-16840
No TPTP formula. May not be expressible in strict first order. Cars.kif 693-707

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11570-11577 A process is an instance of combining and an object is a resource for the process and an entity is a result of the process if and only if the object is not a part of the entity holds during the beginning of the time of existence of the process and the object is a part of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order. Geography.kif 6899-6910 An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and 10 is greater than the real number and the real number is greater than 2.5 if and only if there exists the object10 such that the object10 is an instance of PM10 and the object10 is a part of the object
No TPTP formula. May not be expressible in strict first order. Geography.kif 6928-6938 An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and the real number is greater than or equal to 2.5 if and only if there exists the object25 such that the object25 is an instance of PM2.5 and the object25 is a part of the object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9394-9399 Fillable is an attribute of an object if and only if there exists another object such that the other object is an instance of hole and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9900-9907 An object is an instance of bone if and only if there exists another object such that the other object is an instance of skeleton or the other object is an instance of exoskeleton and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9068-9076 An object partially overlaps with another object if and only if the object is not a part of the other object and the other object is not a part of the object and there exists a third object such that the third object is a part of the object and the third object is a part of the other object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9030-9035 An object and another object is overlapsSpatially if and only if there exists a third object such that the third object is a part of the object and the third object is a part of the other object
No TPTP formula. May not be expressible in strict first order. Merge.kif 893-898 An object is a proper part of another object if and only if the object is a part of the other object and the other object is not a part of the object
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1266-1276 A geographic area is total facility type in area the class corresponding to airport with paved runway for a nonnegative integer if and only if the nonnegative integer is a cardinality of the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 782-790
No TPTP formula. May not be expressible in strict first order. Music.kif 313-319
No TPTP formula. May not be expressible in strict first order. Music.kif 423-433
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17254-17264
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1158-1167
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1883-1894
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 48-56
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1084-1097
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2603-2611
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21710-21717
No TPTP formula. May not be expressible in strict first order. Cars.kif 2554-2570
No TPTP formula. May not be expressible in strict first order. Merge.kif 9326-9333
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21666-21675
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21693-21701
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4885-4899
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1346-1353

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. VirusProteinAndCellPart.kif 579-579 The viral part of a virus and a kind of virus part is a part of the virus
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 711-711 Atlanta georgia is a part of georgia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 662-662 Australia is a part of oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 714-714 Baltimore maryland is a part of maryland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 724-724 Boston, Massachusetts is a part of massachusetts
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1611-1611 Chicago united states is a part of illinois
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 854-854 Cleveland ohio is a part of ohio
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 915-915 Connecticut is a part of new england
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 851-851 Dallas texas is a part of texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 841-841 Detroit michigan is a part of michigan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 835-835 Fargo north dakota is a part of north dakota
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1242-1242 Germany is a part of europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1245-1245 Greece is a part of europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 828-828 Houston texas is a part of texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 832-832 Hudson river is a part of new york state
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 728-728 Kansas city missouri is a part of missouri
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 820-820 Korean peninsula is a part of asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 805-805 Long island is a part of new york state
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 810-810 Los angeles california is a part of california
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 731-731 Manchester new hampshire is a part of new hampshire
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 989-989 Massachusetts is a part of new england
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 733-733 Memphis tennessee is a part of tennessee
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 737-737 Minneapolis minnesota is a part of minnesota
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 740-740 Mississippi river is a part of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 746-746 Montreal canada is a part of canada

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