TreeView Knowledge Base Browser

appearance as argument number 1

(domain roomTempState 2 PhysicalState)	Mid-level-ontology.kif 33605-33605	The number 2 argument of room temperature state is an instance of physical state
(domainSubclass roomTempState 1 Substance)	Mid-level-ontology.kif 33606-33606	The number 1 argument of room temperature state is a subclass of substance
(instance roomTempState BinaryPredicate)	Mid-level-ontology.kif 33607-33607	room temperature state is an instance of binary predicate

appearance as argument number 2

(termFormat EnglishLanguage roomTempState "room temperature state")

Mid-level-ontology.kif 33608-33608

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 33610-33621

If room temperature state a kind of substance and a physical state and a physical is an instance of a kind of substance and room temperature state 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 33488-33488	room temperature state abrin toxin and solid
(roomTempState Absolut Liquid)	Mid-level-ontology.kif 33371-33371	room temperature state Absolut and liquid
(roomTempState Actinium Solid)	Mid-level-ontology.kif 33470-33470	room temperature state actinium and solid
(roomTempState Alcohol Liquid)	Mid-level-ontology.kif 33489-33489	room temperature state alcohol and liquid
(roomTempState AlcoholicBeverage Liquid)	Mid-level-ontology.kif 33352-33352	room temperature state alcoholic beverage and liquid
(roomTempState Aldosterone Liquid)	Mid-level-ontology.kif 33490-33490	room temperature state aldosterone and liquid
(roomTempState Alkaloid Liquid)	Mid-level-ontology.kif 33491-33491	room temperature state alkaloid and liquid
(roomTempState Alumina Solid)	Mid-level-ontology.kif 33492-33492	room temperature state alumina and solid
(roomTempState Aluminum Solid)	Mid-level-ontology.kif 33394-33394	room temperature state aluminum and solid
(roomTempState Amaretto Liquid)	Mid-level-ontology.kif 33359-33359	room temperature state amaretto and liquid
(roomTempState Americium Solid)	Mid-level-ontology.kif 33476-33476	room temperature state americium and solid
(roomTempState AminoAcid Liquid)	Mid-level-ontology.kif 33493-33493	room temperature state amino acid and liquid
(roomTempState Amphetamine Solid)	Mid-level-ontology.kif 33494-33494	room temperature state amphetamine and solid
(roomTempState AnimalFat Solid)	Food.kif 2879-2879	room temperature state animal fat and solid
(roomTempState Antimony Solid)	Mid-level-ontology.kif 33432-33432	room temperature state antimony and solid
(roomTempState Aperitif Liquid)	Mid-level-ontology.kif 33356-33356	room temperature state aperitif and liquid
(roomTempState Argon Gas)	Mid-level-ontology.kif 33399-33399	room temperature state argon and gas
(roomTempState Arsenic Solid)	Mid-level-ontology.kif 33414-33414	room temperature state arsenic and solid
(roomTempState Arsine Gas)	Mid-level-ontology.kif 33487-33487	room temperature state arsine and gas
(roomTempState Asbestos Solid)	Mid-level-ontology.kif 33495-33495	room temperature state asbestos and solid
(roomTempState Astatine Solid)	Mid-level-ontology.kif 33466-33466	room temperature state astatine and solid
(roomTempState Atropine Liquid)	Mid-level-ontology.kif 33496-33496	room temperature state atropine and liquid
(roomTempState BZGas Gas)	Mid-level-ontology.kif 33502-33502	room temperature state BZ gas and gas
(roomTempState Bacardi Liquid)	Mid-level-ontology.kif 33367-33367	room temperature state Bacardi and liquid
(roomTempState Bacitracin Liquid)	Mid-level-ontology.kif 33497-33497	room temperature state 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: