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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - abstractPart
abstractPart

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24431-24432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24436-24436 The number 1 argument of abstract part is an instance of abstract
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24437-24437 The number 2 argument of abstract part is an instance of abstract
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24435-24435 abstract part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24434-24434 abstract part is an instance of partial ordering relation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24438-24438
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5193-5193
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5192-5192
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5191-5191
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24433-24433

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 390-398

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 390-398
No TPTP formula. May not be expressible in strict first order. engineering.kif 435-440
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24450-24455
No TPTP formula. May not be expressible in strict first order. engineering.kif 460-472
No TPTP formula. May not be expressible in strict first order. engineering.kif 443-451
No TPTP formula. May not be expressible in strict first order. engineering.kif 479-491
No TPTP formula. May not be expressible in strict first order. Law.kif 510-519

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 1563-1563 Newtons first law is a part of newtons law
No TPTP formula. May not be expressible in strict first order. engineering.kif 1570-1570 Newtons second law is a part of newtons law
No TPTP formula. May not be expressible in strict first order. engineering.kif 1575-1575 Newtons third law is a part of newtons law


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 3.0 is open source software produced by Articulate Software and its partners