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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - part
part

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 959-961
No TPTP formula. May not be expressible in strict first order. Merge.kif 954-958
No TPTP formula. May not be expressible in strict first order. Merge.kif 952-952 The number 1 argument of part is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 953-953 The number 2 argument of part is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 951-951 part is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 950-950 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 1028-1028 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 107-107
No TPTP formula. May not be expressible in strict first order. french_format.kif 100-100
No TPTP formula. May not be expressible in strict first order. relations-it.txt 210-210
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 52-52
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 50-50
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 64-64
No TPTP formula. May not be expressible in strict first order. relations-de.txt 197-197
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 248-248
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 402-402
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21271-21271 havePartTypes is internally related to part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21218-21218 initial part is internally related to part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21245-21245 initially contains part is internally related to part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21287-21287 partTypes is internally related to part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21144-21144 typical part is internally related to part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21181-21181 typically contains part is internally related to part
No TPTP formula. May not be expressible in strict first order. Merge.kif 998-998 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 10762-10762 half is a subrelation of part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21719-21719 inString is a subrelation of part
No TPTP formula. May not be expressible in strict first order. Merge.kif 9567-9567 interior part is a subrelation of part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10805-10805 most is a subrelation of part
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2638-2638 path in system is a subrelation of part

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 6821-6830 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
No TPTP formula. May not be expressible in strict first order. Geography.kif 6848-6856 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
No TPTP formula. May not be expressible in strict first order. Geography.kif 1695-1700
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. Mid-level-ontology.kif 16863-16873
No TPTP formula. May not be expressible in strict first order. Merge.kif 9593-9598
No TPTP formula. May not be expressible in strict first order. Geography.kif 511-515
No TPTP formula. May not be expressible in strict first order. Cars.kif 1574-1580
No TPTP formula. May not be expressible in strict first order. Cars.kif 2612-2625
No TPTP formula. May not be expressible in strict first order. Cars.kif 2594-2610
No TPTP formula. May not be expressible in strict first order. Merge.kif 9791-9797
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9740-9747
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1618-1629
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1631-1643
No TPTP formula. May not be expressible in strict first order. Cars.kif 884-897
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9882-9887
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9862-9867
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 3949-3959
No TPTP formula. May not be expressible in strict first order. Merge.kif 18388-18393
No TPTP formula. May not be expressible in strict first order. Cars.kif 693-707
No TPTP formula. May not be expressible in strict first order. Cars.kif 4088-4118
No TPTP formula. May not be expressible in strict first order. Cars.kif 1696-1704
No TPTP formula. May not be expressible in strict first order. Cars.kif 1874-1892
No TPTP formula. May not be expressible in strict first order. Cars.kif 1853-1872

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 12239-12246 A process is an instance of combining and an object is a resource for the process and another object is a result of the process if and only if the object is not a part of the other object holds during the beginning of the time of existence of the process and the object is a part of the other object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9854-9859 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 9889-9896 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 9510-9518 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 9472-9477 An object overlaps with another object 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 974-979 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 1224-1234 A geographic area 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 an object
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 785-793
No TPTP formula. May not be expressible in strict first order. Music.kif 335-341
No TPTP formula. May not be expressible in strict first order. Music.kif 445-455
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16863-16873
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1154-1163
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1879-1890
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 1080-1093
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21274-21281
No TPTP formula. May not be expressible in strict first order. Cars.kif 2594-2610
No TPTP formula. May not be expressible in strict first order. Merge.kif 9782-9789
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21230-21239
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21257-21265
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4880-4894
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1304-1311
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1318-1325
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1390-1401
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1372-1383

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 578-578 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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners