weight - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - weight

weight

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2606-2607
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7333-7334
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1319-1320
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7328-7328	The number 1 argument of weight is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7329-7329	The number 2 argument of weight is an instance of mass measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7330-7330	weight is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7331-7331	weight is a subrelation of measure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2622-2622
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2621-2621
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2620-2620
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62673-62673
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62672-62672
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62671-62671

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 2470-2485	If a self connected object is an instance of cocoa liquor and 100.0 gram(s) is a weight of the self connected object and another self connected object is an instance of cocoa solid and the other self connected object is a part of the self connected object and a real number gram(s) is a weight of the other self connected object and a third self connected object is an instance of cocoa butter and the third self connected object is a part of the self connected object and another real number gram(s) is a weight of the third self connected object, then the approximate value of the real number is 50.0 and the approximate value of the other real number is 50.0
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2829-2844	If a self connected object is an instance of ship container and a real number an unit of measure(s) is a capacity of the self connected object and the real number is an instance of unit of mass and the self connected object contains another self connected object and another real number the unit of measure(s) is a weight of the other self connected object and the other real number is less than the real number, then the statement there doesn't exist an entity such that the entity is an instance of damaging and the self connected object is a patient of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 144-169	If a real number an unit of measure(s) is a maximum payload capacity of a vehicle and the vehicle is maximum payload height width another real number another unit of measure(s) for a third real number a third unit of measure(s) and a self connected object is an instance of self connected object and a fourth real number the fourth real numberU(s) is a weight of the self connected object and the width of the self connected object is a fifth real number the fifth real numberU(s) and the height of the self connected object is a sixth real number the sixth real numberU(s) and equal the fourth real numberU and the unit of measure and equal the fifth real numberU and the third unit of measure and equal the sixth real numberU and the other unit of measure and the fourth real number is less than or equal to the real number and the fifth real number is less than or equal to the third real number and the sixth real number is less than or equal to the other real number, then the vehicle is capable of doing the class described by a symbolic string as a instrument

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 823-840	If equal a real number micrograms per kilogram(s) and the per of a mass measure and another mass measure and equal the mass measure and another real number one millionth of a gram(s) and equal the other mass measure and a third real number 1 thousand grams(s), then there exist a process, a self connected object and another self connected object such that the process is an instance of ingesting and the self connected object is an instance of biologically active substance and the other self connected object is an instance of organism and the self connected object is a patient of the process and the other self connected object is an agent of the process and the mass measure is a weight of the self connected object and the other mass measure is a weight of the other self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 92-104	If a real number an unit of measure(s) is a maximum payload capacity of a vehicle, then there don't exist a process, a self connected object,, , another real number and the other real numberU such that the process is an instance of transportation and the vehicle is an instrument for the process and the self connected object is a patient of the process and the other real number the other real numberU(s) is a weight of the self connected object and equal the other real numberU and the unit of measure and the other real number is greater than the real number

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