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

Formal Language: 


KB Term:  Term intersection
English Word: 

  properPart

Sigma KEE - properPart
properPart

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1573-1575
No TPTP formula. May not be expressible in strict first order. Merge.kif 940-943
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 147-149
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 172-174
No TPTP formula. May not be expressible in strict first order. Merge.kif 937-937 The number 1 argument of proper part is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 938-938 The number 2 argument of proper part is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 934-934 proper part is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 935-935 proper part is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 936-936 proper part is a subrelation of part

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 175-175
No TPTP formula. May not be expressible in strict first order. english_format.kif 176-176
No TPTP formula. May not be expressible in strict first order. french_format.kif 107-107
No TPTP formula. May not be expressible in strict first order. relations-it.txt 234-234
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1936-1936
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 59-59
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 65-65
No TPTP formula. May not be expressible in strict first order. relations-de.txt 220-220
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 272-272
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 126-126
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 112-112
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 426-426
No TPTP formula. May not be expressible in strict first order. Merge.kif 16259-16259 engineering subcomponent is a subrelation of proper part
No TPTP formula. May not be expressible in strict first order. Merge.kif 14198-14198 geographic subregion is a subrelation of proper part
No TPTP formula. May not be expressible in strict first order. Merge.kif 18117-18117 physical end is a subrelation of proper part
No TPTP formula. May not be expressible in strict first order. Geography.kif 5988-5988 stream outfall is a subrelation of proper part
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 176-176 stream outfall is a subrelation of proper part
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47800-47800 stream outfall is a subrelation of proper part
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47799-47799 stream outfall is a subrelation of proper part
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47798-47798 stream outfall is a subrelation of proper part
No TPTP formula. May not be expressible in strict first order. terms-de.txt 69-69 stream outfall is a subrelation of proper part

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10192-10196
No TPTP formula. May not be expressible in strict first order. Merge.kif 10198-10202
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1909-1915
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2082-2088
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2001-2007
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2029-2035
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1977-1983
No TPTP formula. May not be expressible in strict first order. Merge.kif 10077-10085
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2423-2430
No TPTP formula. May not be expressible in strict first order. Merge.kif 945-950

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10023-10030
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1935-1948
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20135-20148
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1920-1929
No TPTP formula. May not be expressible in strict first order. Merge.kif 952-957
No TPTP formula. May not be expressible in strict first order. Geography.kif 2072-2078
No TPTP formula. May not be expressible in strict first order. Merge.kif 9975-9984
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1265-1273
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1278-1288
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2769-2774
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1960-1969
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1943-1951
No TPTP formula. May not be expressible in strict first order. Geography.kif 5392-5397
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20048-20059
No TPTP formula. May not be expressible in strict first order. Merge.kif 10056-10059
No TPTP formula. May not be expressible in strict first order. Hotel.kif 82-87
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1098-1103
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12213-12218
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1193-1204
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 575-580
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 562-573
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 361-366
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1153-1158
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1134-1139
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1146-1151

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 1182-1182 The cell part of an object and a kind of cell part is a proper part of the object


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