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 888-891
No TPTP formula. May not be expressible in strict first order. Merge.kif 884-884 proper part is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 885-885 proper part is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 886-886 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 179-179
No TPTP formula. May not be expressible in strict first order. Merge.kif 14949-14949 engineering subcomponent is a subrelation of proper part
No TPTP formula. May not be expressible in strict first order. Merge.kif 13044-13044 geographic subregion is a subrelation of proper part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1646-1646 physicalEnd is a subrelation of proper part
No TPTP formula. May not be expressible in strict first order. Geography.kif 5376-5376 stream outfall is a subrelation of proper part
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 176-176
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47726-47726
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47725-47725
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47724-47724

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


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. Merge.kif 9493-9497
No TPTP formula. May not be expressible in strict first order. Merge.kif 9499-9503
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1924-1930
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2097-2103
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2016-2022
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2044-2050
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1992-1998
No TPTP formula. May not be expressible in strict first order. Merge.kif 9371-9379
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2438-2445

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9317-9324
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1950-1963
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16266-16279
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1935-1944
No TPTP formula. May not be expressible in strict first order. Geography.kif 1867-1873
No TPTP formula. May not be expressible in strict first order. Merge.kif 9264-9273
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1589-1597
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1602-1612
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2541-2546
No TPTP formula. May not be expressible in strict first order. Geography.kif 4831-4836
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16167-16178
No TPTP formula. May not be expressible in strict first order. Merge.kif 9350-9353
No TPTP formula. May not be expressible in strict first order. Hotel.kif 77-82
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 506-511
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9297-9302
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 601-612
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 449-454
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 436-447
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 303-308
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 561-566
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 542-547
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 554-559
No TPTP formula. May not be expressible in strict first order. Geography.kif 4286-4288
No TPTP formula. May not be expressible in strict first order. Cars.kif 3460-3486
No TPTP formula. May not be expressible in strict first order. Cars.kif 3488-3501

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


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