TreeView Knowledge Base Browser - coilCount

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - coilCount

coilCount

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3122-3122
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3119-3119	The number 1 argument of coil count is an instance of wire coil
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3120-3120	The number 2 argument of coil count is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3118-3118	coil count is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3121-3121
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65794-65794

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3102-3116	If a time position is an instance of transformer and a wire coil is an instance of wire coil and another wire coil is an instance of wire coil and the number of coils in the wire coil is an integer and the number of coils in the other wire coil is another integer and the measure of the wire coil is volt a real number(s) holds during the time position, then the measure of the other wire coil is volt another real number(s) holds during the time position and the other real number is equal to the real number and the other integer and the integer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3124-3141	If the number of coils in a wire coil is an integer, then there exist a collection and the collection2F such that the collection is an instance of collection and the integer is a member count of the collection and for all an object if the object is a member of the collection, then the collection2F is an attribute of the object and the collection2F is an instance of closed two dimensional figure and the object is a part of the wire coil and there doesn't exist the object2 such that the object2 and the object overlapsSpatially and the object2 is a member of the collection

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