abstractPart - Sigma Knowledge base Browser

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 20665-20666
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20670-20670	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 20671-20671	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 20669-20669	abstract part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20668-20668	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 20672-20672
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5189-5189	"抽象的部分" is the printable form of abstract part in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5188-5188	"抽象的部分" is the printable form of abstract part in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5187-5187	"abstract part" is the printable form of abstract part in english language
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20667-20667	"part" is the printable form of abstract part in english language

antecedent

No TPTP formula. May not be expressible in strict first order.

engineering.kif 386-394

If an abstract is an instance of multipole pole and the abstract is a part of another abstract,
then there exists a third abstract such that the third abstract is an instance of multipole section and the abstract is a part of the third abstract and the third abstract is a part of the other abstract

consequent

No TPTP formula. May not be expressible in strict first order.	engineering.kif 386-394	If an abstract is an instance of multipole pole and the abstract is a part of another abstract, then there exists a third abstract such that the third abstract is an instance of multipole section and the abstract is a part of the third abstract and the third abstract is a part of the other abstract
No TPTP formula. May not be expressible in strict first order.	engineering.kif 429-434	If an abstract is an instance of multipole, then there exists another abstract such that the other abstract is an instance of multipole section and the other abstract is a part of the abstract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20685-20690	If an abstract is an instance of ontology, then there exists another abstract such that the other abstract is an instance of taxonomy and the other abstract is a part of the abstract
No TPTP formula. May not be expressible in strict first order.	engineering.kif 454-466	If an abstract is an instance of multipole port, then there don't exist another abstract, a third abstract and a fourth abstract such that the other abstract is an instance of multipole pole and the third abstract is an instance of multipole pole and the fourth abstract is an instance of multipole pole and the other abstract is a part of the abstract and the third abstract is a part of the abstract and the fourth abstract is a part of the abstract and the other abstract is not equal to the third abstract and the third abstract is not equal to the fourth abstract and the other abstract is not equal to the fourth abstract
No TPTP formula. May not be expressible in strict first order.	engineering.kif 437-445	If an abstract is an instance of multipole section, then there exist another abstract and a third abstract such that the other abstract is an instance of multipole pole and the third abstract is an instance of multipole pole and the other abstract is a part of the abstract and the third abstract is a part of the abstract and the other abstract is not equal to the third abstract
No TPTP formula. May not be expressible in strict first order.	engineering.kif 473-485	If an abstract is an instance of twopole, then there exists another abstract such that the other abstract is an instance of multipole port and the other abstract is a part of the abstract and there doesn't exist a third abstract such that the third abstract is an instance of multipole section and the third abstract is a part of the abstract and the third abstract is not equal to the other abstract
No TPTP formula. May not be expressible in strict first order.	Law.kif 548-557	If a content bearing physical is the record of an agreement, then there doesn't exist a proposition such that the proposition is not equal to the agreement and the proposition is not a part of the agreement and the content bearing physical contains information the proposition

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1245-1245	Newtons first law is a part of newtons law
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1252-1252	Newtons second law is a part of newtons law
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1257-1257	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners