TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15027-15028
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15030-15030	The number 2 argument of manufacturer is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15029-15029	The number 1 argument of manufacturer is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15026-15026	manufacturer is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15031-15031
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65868-65868

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 734-743	If device OS a kind of object and a kind of computer and a kind of objectI is an instance of the kind of object and a kind of computerI is an instance of the kind of computer and the maker of the kind of object is a cognitive agent, then the cognitive agent desires the kind of computerI is a program running of a third entity and the third entity is running on the kind of objectI
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3476-3486	If a process is an instance of cracking and an entity is an instance of computer and the entity is an instance of a kind of object and the entity is a patient of the process and the maker of a kind of object is a cognitive agent, then the cognitive agent doesn't desire there exists another entity such that the other entity is an agent of the process

statement

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

Cars.kif 5109-5112

There exists a kind of object such that a kind of object is a subclass of tool box and the maker of the kind of object is Sortimo Corporation

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 103-103	The maker of Apple Computer is Apple
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 972-972	The maker of System Management Controller is Apple
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4967-4967	The maker of Chevrolet automobile is General Motors
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4508-4508	The maker of commodore automobile is Holden Corporation
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4514-4514	The maker of Commodore wheel is Holden Corporation
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5120-5120	The maker of Corvette is General Motors
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5165-5165	The maker of Cosworth engine is Cosworth Corporation
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4463-4463	The maker of Fitbit is Fitbit
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4914-4914	The maker of Ford car is Ford
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5116-5116	The maker of ls1 engine is General Motors
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4581-4581	The maker of knucklehead is Harley Davidson
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4685-4685	The maker of panhead is Harley Davidson
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4868-4868	The maker of Holden Torana is Holden Corporation
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5155-5155	The maker of Icon helmet is Icon Corporation
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4855-4855	The maker of mini cooper is British Motors
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4813-4813	The maker of Pedialyte is Abbott
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5013-5013	The maker of Peterbilt truck is Peterbilt
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5554-5554	The maker of Rinvoq is AbbVie
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4714-4714	The maker of Rover v8 is Rover group
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4738-4738	The maker of Seagull outboard is British Seagull corp
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4844-4844	The maker of Simmons wheel is Simmons corp
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4964-4964	The maker of Snap-On ratchet is Snap-on Tools
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3848-3848	The maker of Valvoline is motor oil
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2988-2988	The maker of Cetirizine is JohnsonAndJohnson

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

KB Term:			Term intersection

English Word: