TreeView Knowledge Base Browser - total

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - total

total

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4537-4538
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4531-4531	The number 1 argument of total is an instance of class
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4533-4533	The number 2 argument of total is an instance of quantity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4529-4529	total is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4794-4794
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4793-4793
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4792-4792
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4535-4535

antecedent

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

UXExperimentalTerms.kif 4540-4544

If the total of values in a class is a quantity and an entity is an instance of the class,
then the entity is an instance of quantity

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3202-3215	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of auctioning , then there exist a symbolic string and an entity_PURCHASE_AMOUNT such that the total of values in the class described by the symbolic string is the entity_PURCHASE_AMOUNT and the total purchase price of the collection is equal to the entity_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2956-2983	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of buying and there exists an object such that the object is an instance of geopolitical area and for all an agent and a process if the agent is an instance of agent and the process is an instance of buying and the process is a member of the collection and the agent is an agent of the process, then the agent is located at the object , then there exist a symbolic string, an entity and another entity_PURCHASE_AMOUNT such that the total of values in the class described by the symbolic string is the other entity_PURCHASE_AMOUNT and the value of the collection is equal to the other entity_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2999-3026	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of selling and there exists an object such that the object is an instance of geopolitical area and for all an agent and a process if the agent is an instance of agent and the process is an instance of buying and the process is a member of the collection and the agent is an agent of the process, then the agent is located at the object , then there exist a symbolic string, an entity and another entity_SALE_AMOUNT such that the total of values in the class described by the symbolic string is the other entity_SALE_AMOUNT and the value of the collection is equal to the other entity_SALE_AMOUNT

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