TreeView Knowledge Base Browser

appearance as argument number 1

(instance manufacturer BinaryPredicate)	Mid-level-ontology.kif 16601-16601	manufacturer is an instance of binary predicate
(documentation manufacturer EnglishLanguage "A relation between a class of Objects and an AutonomousAgent that is responsible for the Manufacture of that object.")	Mid-level-ontology.kif 16602-16603	manufacturer is an instance of binary predicate
(domainSubclass manufacturer 1 Object)	Mid-level-ontology.kif 16604-16604	The number 1 argument of manufacturer is a subclass of object
(domain manufacturer 2 AutonomousAgent)	Mid-level-ontology.kif 16605-16605	The number 2 argument of manufacturer is an instance of agent

appearance as argument number 2

(format EnglishLanguage manufacturer "the maker of %1 is %2")	Mid-level-ontology.kif 16606-16606
(termFormat EnglishLanguage manufacturer "manufacturer")	domainEnglishFormat.kif 65886-65886

antecedent

(=> (and (deviceOS ?C ?OS) (instance ?CI ?C) (instance ?OSI ?OS) (manufacturer ?C ?ORG)) (desires ?ORG (and (programRunning ?PROC ?OSI) (computerRunning ?PROC ?CI))))	ComputingBrands.kif 734-743	If device OS X and Y, Z is an instance of X, W is an instance of Y, and the maker of X is V, then V desires W is a program running of U and U is running on Z
(=> (and (instance ?J Jailbreaking) (instance ?D Computer) (instance ?D ?CLASS) (patient ?J ?D) (manufacturer ?CLASS ?C)) (not (desires ?C (exists (?A) (agent ?J ?A)))))	ComputingBrands.kif 3383-3393	If X is an instance of cracking, Y is an instance of computer, Y is an instance of Z, Y is a patient of X, and the maker of Z is W, then W doesn't desire there doesn't exist V such that V is an agent of X

statement

(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer ?T SortimoCorp)))

Cars.kif 5001-5004

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

appearance as argument number 0

(manufacturer CommodoreAutomobile HoldenCorporation)	Cars.kif 4400-4400	The maker of commodore automobile is Holden Corporation
(manufacturer CommodoreWheel HoldenCorporation)	Cars.kif 4406-4406	The maker of Commodore wheel is Holden Corporation
(manufacturer HarleyDavidsonKnuckleheadEngine HarleyDavidsonCorp)	Cars.kif 4473-4473	The maker of knucklehead is Harley Davidson
(manufacturer HarleyDavidsonPanheadEngine HarleyDavidsonCorp)	Cars.kif 4577-4577	The maker of panhead is Harley Davidson
(manufacturer RoverV8Engine RoverGroup)	Cars.kif 4606-4606	The maker of Rover v8 is Rover group
(manufacturer SeagullOutboard BritishSeagullCorp)	Cars.kif 4630-4630	The maker of Seagull outboard is British Seagull corp
(manufacturer SimmonsWheelRim SimmonsCorp)	Cars.kif 4736-4736	The maker of Simmons wheel is Simmons corp
(manufacturer MiniCooper BritishMotorCorp)	Cars.kif 4747-4747	The maker of mini cooper is British Motors
(manufacturer HoldenToranaAutomobile HoldenCorporation)	Cars.kif 4760-4760	The maker of Holden Torana is Holden Corporation
(manufacturer FordAutomobile FordCorporation)	Cars.kif 4806-4806	The maker of Ford car is Ford
(manufacturer SnapOnRatchet SnapOnTools)	Cars.kif 4856-4856	The maker of Snap_On ratchet is Snap_on Tools
(manufacturer ChevroletAutomobile GeneralMotorsCorp)	Cars.kif 4859-4859	The maker of Chevrolet automobile is General Motors
(manufacturer PeterbiltTruck PeterbiltCorp)	Cars.kif 4905-4905	The maker of Peterbilt truck is Peterbilt
(manufacturer GMLs1V8engine GeneralMotorsCorp)	Cars.kif 5008-5008	The maker of ls1 engine is General Motors
(manufacturer Corvette GeneralMotorsCorp)	Cars.kif 5012-5012	The maker of Corvette is General Motors
(manufacturer IconHelmet IconMotorcyleEquipmentCorporation)	Cars.kif 5047-5047	The maker of Icon helmet is Icon Corporation
(manufacturer CosworthEngine CosworthCorp)	Cars.kif 5057-5057	The maker of Cosworth engine is Cosworth Corporation
(manufacturer AppleComputer AppleComputerCorporation)	ComputingBrands.kif 103-103	The maker of Apple Computer is Apple
(manufacturer AppleSystemManagementController AppleComputerCorporation)	ComputingBrands.kif 972-972	The maker of System Management Controller is Apple
(manufacturer Zyrtec JohnsonAndJohnson)	Medicine.kif 2994-2994	The maker of Cetirizine is JohnsonAndJohnson
(manufacturer MotorOil Valvoline)	Medicine.kif 3882-3882	The maker of motor oil is Valvoline
(manufacturer FitbitDevice FitbitCompany)	Medicine.kif 4484-4484	The maker of Fitbit is Fitbit
(manufacturer Pedialyte AbbottLaboratories)	Medicine.kif 4834-4834	The maker of Pedialyte is Abbott
(manufacturer Rinvoq AbbVie)	Medicine.kif 5576-5576	The maker of Rinvoq is AbbVie
(manufacturer ArleighBurkeClassDDG LockheedMartin)	Military.kif 460-460	The maker of Arleigh Burke Class DDG is Lockheed Martin

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: