TreeView Knowledge Base Browser

appearance as argument number 1

(domain roomTempState 2 PhysicalState)	Mid-level-ontology.kif 31939-31939	The number 2 argument of roomTempState is an instance of physical state
(domainSubclass roomTempState 1 Substance)	Mid-level-ontology.kif 31940-31940	The number 1 argument of roomTempState is a subclass of substance
(instance roomTempState BinaryPredicate)	Mid-level-ontology.kif 31941-31941	roomTempState is an instance of binary predicate

antecedent

(=>
    (and
        (roomTempState ?C ?PS)
        (instance ?S ?C)
        (holdsDuring ?T
            (roomTempState ?C Liquid))
        (measure ?S
            (MeasureFn 101
                (KiloFn Pascal))))
    (holdsDuring ?T
        (measure ?S
            (MeasureFn 68 FahrenheitDegree))))

Mid-level-ontology.kif 31943-31954

If roomTempState a kind of substance and a physical state and a physical is an instance of a kind of substance and roomTempState the kind of substance and liquid holds during a time position and the measure of the physical is 101 1 thousand pascals(s),
then the measure of the physical is 68 fahrenheit degree(s) holds during the time position

appearance as argument number 0

(roomTempState AbrinToxin Solid)	Mid-level-ontology.kif 31822-31822	roomTempState abrin toxin and solid
(roomTempState Absolut Liquid)	Mid-level-ontology.kif 31705-31705	roomTempState Absolut and liquid
(roomTempState Actinium Solid)	Mid-level-ontology.kif 31804-31804	roomTempState actinium and solid
(roomTempState Alcohol Liquid)	Mid-level-ontology.kif 31823-31823	roomTempState alcohol and liquid
(roomTempState AlcoholicBeverage Liquid)	Mid-level-ontology.kif 31686-31686	roomTempState alcoholic beverage and liquid
(roomTempState Aldosterone Liquid)	Mid-level-ontology.kif 31824-31824	roomTempState aldosterone and liquid
(roomTempState Alkaloid Liquid)	Mid-level-ontology.kif 31825-31825	roomTempState alkaloid and liquid
(roomTempState Alumina Solid)	Mid-level-ontology.kif 31826-31826	roomTempState alumina and solid
(roomTempState Aluminum Solid)	Mid-level-ontology.kif 31728-31728	roomTempState aluminum and solid
(roomTempState Amaretto Liquid)	Mid-level-ontology.kif 31693-31693	roomTempState amaretto and liquid
(roomTempState Americium Solid)	Mid-level-ontology.kif 31810-31810	roomTempState americium and solid
(roomTempState AminoAcid Liquid)	Mid-level-ontology.kif 31827-31827	roomTempState amino acid and liquid
(roomTempState Amphetamine Solid)	Mid-level-ontology.kif 31828-31828	roomTempState amphetamine and solid
(roomTempState AnimalFat Solid)	Food.kif 2872-2872	roomTempState animal fat and solid
(roomTempState Antimony Solid)	Mid-level-ontology.kif 31766-31766	roomTempState antimony and solid
(roomTempState Aperitif Liquid)	Mid-level-ontology.kif 31690-31690	roomTempState aperitif and liquid
(roomTempState Argon Gas)	Mid-level-ontology.kif 31733-31733	roomTempState argon and gas
(roomTempState Arsenic Solid)	Mid-level-ontology.kif 31748-31748	roomTempState arsenic and solid
(roomTempState Arsine Gas)	Mid-level-ontology.kif 31821-31821	roomTempState arsine and gas
(roomTempState Asbestos Solid)	Mid-level-ontology.kif 31829-31829	roomTempState asbestos and solid
(roomTempState Astatine Solid)	Mid-level-ontology.kif 31800-31800	roomTempState astatine and solid
(roomTempState Atropine Liquid)	Mid-level-ontology.kif 31830-31830	roomTempState atropine and liquid
(roomTempState BZGas Gas)	Mid-level-ontology.kif 31836-31836	roomTempState BZ gas and gas
(roomTempState Bacardi Liquid)	Mid-level-ontology.kif 31701-31701	roomTempState Bacardi and liquid
(roomTempState Bacitracin Liquid)	Mid-level-ontology.kif 31831-31831	roomTempState bacitracin and liquid

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: