TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17552-17556
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1017-1017
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17551-17551	Water wave is a subclass of liquid motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1351-1351	Breaking wave is a subclass of water wave
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62511-62511
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62510-62510
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62509-62509

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Weather.kif 1414-1414

The number 1 argument of wave height is an instance of water wave

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1532-1547	If a water wave is an instance of water wave and The waveHeight of the water wave a length measure., then there exist a list, a water area,, , an unit of measure and a real number such that the length measure is a member of the list and the water area is an instance of water area and the water wave is located at the water area and the unit of measure is an instance of unit of length and significantWaveHeight in the water area during the time of existence of the water wave is the real number the unit of measure(s). and the real number is equal to 4.0 and The StandardDeviationFn of the list
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17558-17563	If a process is an instance of water wave, then there exists an object such that the object is an instance of water area and the process is located at the object

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1353-1373	If a process is an instance of breaking wave, then there exist another process, an object,, , an entity and a transfer such that the other process is an instance of water wave and the process is a subprocess of the other process and the object is an instance of body of water and the entity is an instance of body of water and the entity is a patient of the other process and the object is a patient of the process and the transfer is an instance of falling and the object transferred in the transfer is the object and the object is a part of the entity holds during the beginning of the time of existence of the transfer and the object is not a part of the entity holds during the end of the time of existence of the transfer
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1568-1577	If a physical is an instance of heavy zone, then there exist an entity and another entity such that the entity is an instance of surf zone and the other entity is an instance of water wave and the other entity is a subprocess of the physical and the other entity is located at the entity holds during the time of existence of the physical