TreeView Knowledge Base Browser

appearance as argument number 1

(domain roomTempState 2 PhysicalState)	Mid-level-ontology.kif 31670-31670	The number 2 argument of roomTempState is an instance of physical state
(domainSubclass roomTempState 1 Substance)	Mid-level-ontology.kif 31671-31671	The number 1 argument of roomTempState is a subclass of substance
(instance roomTempState BinaryPredicate)	Mid-level-ontology.kif 31672-31672	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 31674-31685

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 31553-31553	roomTempState abrin toxin and solid
(roomTempState Absolut Liquid)	Mid-level-ontology.kif 31436-31436	roomTempState Absolut and liquid
(roomTempState Actinium Solid)	Mid-level-ontology.kif 31535-31535	roomTempState actinium and solid
(roomTempState Alcohol Liquid)	Mid-level-ontology.kif 31554-31554	roomTempState alcohol and liquid
(roomTempState AlcoholicBeverage Liquid)	Mid-level-ontology.kif 31417-31417	roomTempState alcoholic beverage and liquid
(roomTempState Aldosterone Liquid)	Mid-level-ontology.kif 31555-31555	roomTempState aldosterone and liquid
(roomTempState Alkaloid Liquid)	Mid-level-ontology.kif 31556-31556	roomTempState alkaloid and liquid
(roomTempState Alumina Solid)	Mid-level-ontology.kif 31557-31557	roomTempState alumina and solid
(roomTempState Aluminum Solid)	Mid-level-ontology.kif 31459-31459	roomTempState aluminum and solid
(roomTempState Amaretto Liquid)	Mid-level-ontology.kif 31424-31424	roomTempState amaretto and liquid
(roomTempState Americium Solid)	Mid-level-ontology.kif 31541-31541	roomTempState americium and solid
(roomTempState AminoAcid Liquid)	Mid-level-ontology.kif 31558-31558	roomTempState amino acid and liquid
(roomTempState Amphetamine Solid)	Mid-level-ontology.kif 31559-31559	roomTempState amphetamine and solid
(roomTempState AnimalFat Solid)	Food.kif 2872-2872	roomTempState animal fat and solid
(roomTempState Antimony Solid)	Mid-level-ontology.kif 31497-31497	roomTempState antimony and solid
(roomTempState Aperitif Liquid)	Mid-level-ontology.kif 31421-31421	roomTempState aperitif and liquid
(roomTempState Argon Gas)	Mid-level-ontology.kif 31464-31464	roomTempState argon and gas
(roomTempState Arsenic Solid)	Mid-level-ontology.kif 31479-31479	roomTempState arsenic and solid
(roomTempState Arsine Gas)	Mid-level-ontology.kif 31552-31552	roomTempState arsine and gas
(roomTempState Asbestos Solid)	Mid-level-ontology.kif 31560-31560	roomTempState asbestos and solid
(roomTempState Astatine Solid)	Mid-level-ontology.kif 31531-31531	roomTempState astatine and solid
(roomTempState Atropine Liquid)	Mid-level-ontology.kif 31561-31561	roomTempState atropine and liquid
(roomTempState BZGas Gas)	Mid-level-ontology.kif 31567-31567	roomTempState BZ gas and gas
(roomTempState Bacardi Liquid)	Mid-level-ontology.kif 31432-31432	roomTempState Bacardi and liquid
(roomTempState Bacitracin Liquid)	Mid-level-ontology.kif 31562-31562	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: