TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1712-1713
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1706-1708
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 315-317
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1703-1703	The number 1 argument of property is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1704-1704	The number 2 argument of property is an instance of attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1702-1702	property is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 177-177
No TPTP formula. May not be expressible in strict first order.	english_format.kif 178-178
No TPTP formula. May not be expressible in strict first order.	french_format.kif 108-108
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 235-235
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1937-1937
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 60-60
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 72-72
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 223-223
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 273-273
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 127-127
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 113-113
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 427-427
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1743-1743	abstraction level is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1714-1714	attribute is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1632-1632	complexity is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1482-1482	design pattern is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 460-460	environment attributes is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1584-1584	form of adaptation is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1726-1726	manner is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17461-17461	modal attribute is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7655-7655	shape is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 905-905	status is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1673-1673	strictness is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1451-1451	system behavior is a subrelation of property

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 3196-3206	An entity is an instance of region and the entity the attribute standard ambient temperature and pressure holds during a time position if and only if 298.15 kelvin degree(s) is an air temperature of the entity and 29.530 inch mercury(s) is a barometric pressure of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 469-477	If @ROW is the opposite of and an attribute is equal to another entity element of (@ROW) and another attribute is equal to a third entity element of (@ROW) and a positive integer is not equal to another positive integer and a fourth entity the attribute the attribute, then the fourth entity does not have the attribute the other attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2572-2576	If an attribute is an instance of speed scale attribute and an entity the attribute the attribute, then the entity is an instance of motion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 331-335	If an attribute is an instance of Beaufort number attribute and an entity the attribute the attribute, then the entity is an instance of wind
No TPTP formula. May not be expressible in strict first order.	Media.kif 995-1000	If a content bearing physical is an instance of contract document and the content bearing physical contains information a proposition and the proposition the attribute contract, then the proposition the attribute law
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2606-2610	If an attribute is an instance of enhanced fuijita scale attribute and an entity the attribute the attribute, then the entity is an instance of tornado
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2771-2783	If a process is an instance of exercise an option and an agreement is a patient of the process and the agreement the attribute call option and the process exists during a time position and a financial instrument is an underlier of the agreement, then there exists another process such that the other process is an instance of buying and the financial instrument is a patient of the other process and the other process exists during the time position and the measure of the financial instrument is 100 share unit(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2785-2797	If a process is an instance of exercise an option and an agreement is a patient of the process and the agreement the attribute put option and the process exists during a time position and a financial instrument is an underlier of the agreement, then there exists another process such that the other process is an instance of selling and the financial instrument is a patient of the other process and the other process exists during the time position and the measure of the financial instrument is 100 share unit(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2959-2973	If a process is an instance of hurricane and an entity is an instance of SSHWS5 and the process is located at an object and a cognitive agent believes the process the attribute the entity, then there exists a real number such that the real number is greater than 157.0 and the cognitive agent believes the real number miles per hour(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2881-2900	If a process is an instance of hurricane and a speed scale attribute is an instance of Saffir Simpson Hurrican wind scale and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of the speed scale attribute and the unit of measure is an instance of unit of measure, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes the third real number the unit of measure(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23891-23895	If an attribute is an instance of occupational role and an entity the attribute the attribute, then the entity is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 234-239	If an entity is an instance of organic object and another entity is an instance of developmental attribute and the entity the attribute the other entity holds during a time position, then the developmental form of the entity is the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1274-1278	If an entity is an instance of computer path and the entity the attribute continuous path, then the entity does not have the attribute quasicontinuous path
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1268-1272	If an entity is an instance of computer path and the entity the attribute continuous path, then the entity does not have the attribute transient path
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1246-1250	If an entity is an instance of computer path and the entity the attribute dynamic data stream, then the entity does not have the attribute deterministic data stream
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1240-1244	If an entity is an instance of computer path and the entity the attribute dynamic data stream, then the entity does not have the attribute stochastic data stream
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 403-409	If a railway is an instance of railway and the railway the attribute broad gauge and a real number meter(s) is a track width of the railway, then the real number is greater than 1.44
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 453-458	If a railway is an instance of railway and the railway the attribute narrow gauge and a real number meter(s) is a track width of the railway, then the real number is less than or equal to 1.435
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 427-433	If a railway is an instance of railway and the railway the attribute standard gauge and a real number meter(s) is a track width of the railway, then the real number is greater than or equal to 1.435
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 435-441	If a railway is an instance of railway and the railway the attribute standard gauge and a real number meter(s) is a track width of the railway, then the real number is less than or equal to 1.44
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2875-2879	If an attribute is an instance of Saffir Simpson Hurrican wind scale and an entity the attribute the attribute, then the entity is an instance of hurricane
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2707-2721	If a process is an instance of tornado and an entity is an instance of EF5 and the process is located at an object and a cognitive agent believes the process the attribute the entity, then there exists a real number such that the real number is greater than 200.0 and the cognitive agent believes the real number miles per hour(s) is equal to ThreeSecondSpeedGustFn ending at the time of existence of the process in the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2612-2630	If a process is an instance of tornado and a speed scale attribute is an instance of enhanced fuijita scale attribute and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number miles per hour(s) and another real number miles per hour(s) are the min and max speed of the speed scale attribute, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes the third real number miles per hour(s) is equal to ThreeSecondSpeedGustFn ending at the time of existence of the process in the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 472-484	If a process is an instance of wind and an entity is an instance of Beaufort number 12 and the process is located at an object and a cognitive agent believes the process the attribute the entity, then there exists a real number such that the real number is greater than 73.0 and the cognitive agent believes the real number miles per hour(s) is a surface wind speed of the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 337-354	If a process is an instance of wind and a speed scale attribute is an instance of Beaufort number attribute and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of the speed scale attribute and the unit of measure is an instance of unit of measure, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes the third real number the unit of measure(s) is a surface wind speed of the object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3277-3283	An agreement employs another agreement if and only if there exists a cognitive agent such that the cognitive agent the attribute employment and the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1098-1101	There exists a computer process such that a computer program is a program running of the computer process if and only if the computer program the attribute executable
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 411-413	An entity is an instance of broad gauge railway if and only if the entity the attribute broad gauge
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 469-471	An entity is an instance of dual gauge railway if and only if the entity the attribute dual gauge railway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 460-462	An entity is an instance of narrow gauge railway if and only if the entity the attribute narrow gauge
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 443-445	An entity is an instance of standard gauge railway if and only if the entity the attribute standard gauge
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15426-15429	If an agreement has expiration a time point, then the agreement does not have the attribute active agreement holds during after the time point
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15387-15392	If a time interval is an agreement period of an agreement and a time point is an agreement effective date of the agreement, then the agreement the attribute active agreement holds during a time that starts at the time point and lasts for the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17492-17505	If an attribute is an attribute of an object and the attribute is an instance of subjective assessment attribute, then there exist a time position, a process and an agent such that the process is an instance of judging and the agent is an agent of the process and the object is a patient of the process and the attribute is an attribute of the object is a result of the process and the agent believes the object the attribute the attribute holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 469-477	If @ROW is the opposite of and an attribute is equal to another entity element of (@ROW) and another attribute is equal to a third entity element of (@ROW) and a positive integer is not equal to another positive integer and a fourth entity the attribute the attribute, then the fourth entity does not have the attribute the other attribute
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1178-1187	If a financial account is an instance of liability account and an agreement holds account the financial account and the financial account is held by another agreement, then there exists a cognitive agent such that the cognitive agent the attribute liability and the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Media.kif 995-1000	If a content bearing physical is an instance of contract document and the content bearing physical contains information a proposition and the proposition the attribute contract, then the proposition the attribute law
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1274-1278	If an entity is an instance of computer path and the entity the attribute continuous path, then the entity does not have the attribute quasicontinuous path
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1268-1272	If an entity is an instance of computer path and the entity the attribute continuous path, then the entity does not have the attribute transient path
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1246-1250	If an entity is an instance of computer path and the entity the attribute dynamic data stream, then the entity does not have the attribute deterministic data stream
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1240-1244	If an entity is an instance of computer path and the entity the attribute dynamic data stream, then the entity does not have the attribute stochastic data stream
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 501-517	If an entity_COLL is an instance of collection and another entity_COLL is an instance of collection and an experimenting is an instance of experimenting and a cognitive agent is an instance of cognitive agent and the cognitive agent is an agent of the experimenting and the entity_COLL is a sample of the other entity_COLL for the experimenting, then for all an attribute if the attribute is an instance of attribute and the entity_COLL the attribute the attribute and the cognitive agent is interested in the attribute and the attribute is not equal to representative sample, then the other entity_COLL the attribute the attribute
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2729-2733	If an agreement the attribute stock option and a financial instrument is an underlier of the agreement, then the financial instrument the attribute common stock
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2646-2659	If a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of a speed scale attribute and the unit of measure is an instance of unit of measure, then there exist a physical and a third real number such that the physical is an instance of motion and the physical the attribute the speed scale attribute and the measure of the physical is the third real number the unit of measure(s) and the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22440-22453	If a cognitive agent has a contract to build a stationary artifact, then there exist an agreement and another cognitive agent such that the agreement the attribute contract and the agreement is a party to agreement of the other cognitive agent and the agreement is a party to agreement of the cognitive agent and the other cognitive agent obligates the cognitive agent to perform task of the type there exist an entity and the stationary artifact2 such that the entity is an instance of constructing and the cognitive agent is an agent of the entity and the stationary artifact2 is a result of the entity and the stationary artifact2 is an instance of stationary artifact
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1323-1327	If a positive integer is a data stream slack of a computer path, then the computer path the attribute continuous path or the computer path the attribute quasicontinuous path
No TPTP formula. May not be expressible in strict first order.	Merge.kif 261-266	If an attribute is equal to another attribute, then for all an entity the entity the attribute the attribute if and only if the entity the attribute the other attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 254-259	If an entity is equal to another entity, then for all an attribute the entity the attribute the attribute if and only if the other entity the attribute the attribute
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 326-331	If a process is an instance of aqiqah, then there exists the processGENT such that the processGENT is an agent of the process and the process the attribute muslim
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 65-69	If an entity is an instance of financial account, then the entity the attribute financial contract and the entity the attribute service contract

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32503-32503	Cheetah the attribute Vulnerable species
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32479-32479	Crocodile the attribute least concern species
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32520-32520	Ferret the attribute least concern species
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32538-32538	Guinea pig the attribute least concern species
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32550-32550	Hamster the attribute least concern species
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32409-32409	Lemur the attribute critically endangered species
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32294-32294	Lion the attribute Vulnerable species
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32439-32439	Octopus the attribute least concern species
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32426-32426	Panda the attribute Vulnerable species
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32392-32392	Parrot the attribute least concern species
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32461-32461	Reindeer the attribute Vulnerable species
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32369-32369	Rhinoceros the attribute endangered species
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32349-32349	Tiger the attribute endangered species

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

KB Term:			Term intersection

English Word: