total - Sigma Knowledge base Browser

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	Le nombre 1 argument de total est une instance de classe
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4533-4533	Le nombre 2 argument de total est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4529-4529	total est une instance de pr�dicat binaire

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

total classe and quantit� entit� est une instance de classe
entit� est une instance de quantit�

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3202-3215	Collection est une instance de collection physique physique est un membre de collection physique est une instance de Auctioning cha�ne sympbolique entit�_PURCHASE_AMOUNT total la classe d�crite par cha�ne sympbolique and entit�_PURCHASE_AMOUNT AuctionGMBFn collection est entit�_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2956-2983	Collection est une instance de collection physique physique est un membre de collection physique est une instance de acheter objet objet est une instance de secteur g�opolitique AutonomousAgent processus AutonomousAgent est une instance de AutonomousAgent processus est une instance de acheter processus est un membre de collection processus est un agent de AutonomousAgent AutonomousAgent est situ� � objet cha�ne sympbolique entit� and entit�_PURCHASE_AMOUNT total la classe d�crite par cha�ne sympbolique and entit�_PURCHASE_AMOUNT GMBFn collection est entit�_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2999-3026	Collection est une instance de collection physique physique est un membre de collection physique est une instance de vendre objet objet est une instance de secteur g�opolitique AutonomousAgent processus AutonomousAgent est une instance de AutonomousAgent processus est une instance de acheter processus est un membre de collection processus est un agent de AutonomousAgent AutonomousAgent est situ� � objet cha�ne sympbolique entit� and entit�_SALE_AMOUNT total la classe d�crite par cha�ne sympbolique and entit�_SALE_AMOUNT GMVFn collection est entit�_SALE_AMOUNT

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