TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3417-3418
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14306-14310
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 93-93
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 260-260
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 433-433
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14305-14305	Fish is a subclass of cold blooded vertebrate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 269-269	Fish meat is the meat of fish
No TPTP formula. May not be expressible in strict first order.	Food.kif 509-509	Cod is a subclass of fish
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4402-4402	Ornamental fish is a subclass of fish
No TPTP formula. May not be expressible in strict first order.	Food.kif 510-510	Salmon is a subclass of fish
No TPTP formula. May not be expressible in strict first order.	Food.kif 820-820	Skate is a subclass of fish
No TPTP formula. May not be expressible in strict first order.	Food.kif 926-926	Tuna is a subclass of fish
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 989-989
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1185-1185

appearance as argument number 3

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

Merge.kif 14286-14286

antecedent

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

Merge.kif 14312-14317

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2711-2716	If a process is an instance of fishing and an entity is a patient of the process and the entity is an instance of animal, then the entity is an instance of fish
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28904-28912	If a physical is an instance of FishTank, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of water and the other entity is an instance of fish and the physical contains the entity and the physical contains the other entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 804-810	If an object is an instance of seafood, then there exist another object and a kind of organism such that the other object is an instance of a dead a kind of organism and the object is a part of the other object and the kind of organism is a subclass of fish