TreeView Knowledge Base Browser

appearance as argument number 1

(instance typicalPart BinaryPredicate)	Mid-level-ontology.kif 25940-25940	typical part is an instance of binary predicate
(relatedInternalConcept typicalPart part)	Mid-level-ontology.kif 25942-25942	typical part is internally related to part
(documentation typicalPart EnglishLanguage "An instance of the first argument is typically found as part of an instance of the second argument. This is a class-level relation roughly corresponding to part. Note that this does not imply that such wholes typically have such parts.")	Mid-level-ontology.kif 25943-25946	typical part is internally related to part
(domainSubclass typicalPart 1 Object)	Mid-level-ontology.kif 25947-25947	The number 1 argument of typical part is a subclass of object
(domainSubclass typicalPart 2 Object)	Mid-level-ontology.kif 25948-25948	The number 2 argument of typical part is a subclass of object

appearance as argument number 2

(relatedInternalConcept typicallyContainsPart typicalPart)	Mid-level-ontology.kif 25980-25980	typically contains part is internally related to typical part
(subrelation partTypes typicalPart)	Mid-level-ontology.kif 26073-26073	part types is a subrelation of typical part
(relatedInternalConcept typicalTemporalPart typicalPart)	Cars.kif 1348-1348	typical temporal part is internally related to typical part
(format EnglishLanguage typicalPart "a %1 is typically a part of a %2")	domainEnglishFormat.kif 4854-4854	typical temporal part is internally related to typical part
(format ChineseTraditionalLanguage typicalPart "%1 typically 是 %2 的 part ")	domainEnglishFormat.kif 4855-4855	typical temporal part is internally related to typical part
(format ChineseLanguage typicalPart "%1 typically 是 %2 的 part ")	domainEnglishFormat.kif 4856-4856	typical temporal part is internally related to typical part
(termFormat EnglishLanguage typicalPart "typical part")	domainEnglishFormat.kif 59739-59739	typical temporal part is internally related to typical part
(termFormat ChineseTraditionalLanguage typicalPart "典型的部分")	domainEnglishFormat.kif 59740-59740	typical temporal part is internally related to typical part
(termFormat ChineseLanguage typicalPart "典型的部分")	domainEnglishFormat.kif 59741-59741	typical temporal part is internally related to typical part

antecedent

(=> (typicalPart ?PART ?WHOLE) (exists (?X ?Y) (and (instance ?X ?WHOLE) (instance ?Y ?PART) (part ?Y ?X))))	Mid-level-ontology.kif 25950-25956	If a X is typically a part of a Y, then there exist Z, W such that Z is an instance of Y, W is an instance of X, and W is a part of Z
(=> (and (typicalPart ?PART ?WHOLE) (instance ?X ?PART) (equal ?PARTPROB (ProbabilityFn (exists (?Y) (and (instance ?Y ?WHOLE) (part ?X ?Y))))) (equal ?NOTPARTPROB (ProbabilityFn (not (exists (?Z) (and (instance ?Z ?WHOLE) (part ?X ?Z))))))) (greaterThan ?PARTPROB ?NOTPARTPROB))	Mid-level-ontology.kif 25958-25975	If a X is typically a part of a Y, Z is an instance of X, equal W, the probability of there exists V such that V is an instance of Y, and Z is a part of V, and equal U, the probability of there doesn't exist T such that T is an instance of Y, and Z is a part of T, then W is greater than U

consequent

(=>
    (attribute ?X AeronauticalEngineer)
    (exists (?SKILL)
        (and
            (hasSkill ?SKILL ?X)
            (forall (?P)
                (=>
                    (instance ?P ?SKILL)
                    (or
                        (exists (?CONS ?OBJ ?PT)
                            (and
                                (instance ?CONS Making)
                                (or
                                    (instance ?OBJ Aircraft)
                                    (and
                                        (instance ?OBJ ?PT)
                                        (typicalPart ?PT Aircraft)))
                                (result ?CONS ?OBJ)
                                (subProcess ?P ?CONS)))
                        (exists (?DESIGN ?PLAN ?OBJ ?PT)
                            (and
                                (instance ?DESIGN Designing)
                                (or
                                    (instance ?OBJ Aircraft)
                                    (and
                                        (instance ?OBJ ?PT)
                                        (typicalPart ?PT Aircraft)))
                                (result ?DESIGN ?PLAN)
                                (represents ?PLAN ?OBJ)
                                (subProcess ?P ?DESIGN)))))))))

Biography.kif 444-473

If aeronautical engineer is an attribute of X, then All of the following hold: (1) there exists Y such that X has the skill to do Y (2) Z Z is an instance of Ythere exist W, V (3) U such that W is an instance of making (4) V is an instance of aircraft or V is an instance of U (5) a U is typically a part of a aircraft (6) V is a result of W (7) Z is a subprocess of W or there exist T, S,, , V (8) U such that T is an instance of designing (9) V is an instance of aircraft or V is an instance of U (10) a U is typically a part of a aircraft (11) S is a result of T (12) S expresses V (13) Z is a subprocess of T

appearance as argument number 0

(typicalPart VocalCords Human)	Mid-level-ontology.kif 774-774	A vocal cords is typically a part of a human
(typicalPart GunChamber GunBarrel)	Mid-level-ontology.kif 1361-1361	A gun chamber is typically a part of a gun barrel
(typicalPart GunChamber GunCylinder)	Mid-level-ontology.kif 1362-1362	A gun chamber is typically a part of a gun cylinder
(typicalPart GunTrigger Gun)	Mid-level-ontology.kif 1632-1632	A gun trigger is typically a part of a gun
(typicalPart StationaryArtifact Facility)	Mid-level-ontology.kif 7847-7847	A stationary artifact is typically a part of a Facility
(typicalPart Pectoralis Chest)	Mid-level-ontology.kif 12224-12224	A chest muscle is typically a part of a chest
(typicalPart LatissimusDorsi Torso)	Mid-level-ontology.kif 12231-12231	A upper back muscle is typically a part of a torso
(typicalPart Bicep Arm)	Mid-level-ontology.kif 12239-12239	A bicep is typically a part of a arm
(typicalPart Tricep Arm)	Mid-level-ontology.kif 12244-12244	A tricep is typically a part of a arm
(typicalPart ThighMuscle Leg)	Mid-level-ontology.kif 12249-12249	A quadriceps is typically a part of a leg
(typicalPart CalfMuscle Leg)	Mid-level-ontology.kif 12257-12257	A gastrocnemius is typically a part of a leg
(typicalPart ShinMuscle Leg)	Mid-level-ontology.kif 12264-12264	A tibialis anterior is typically a part of a leg
(typicalPart HamstringMuscle Leg)	Mid-level-ontology.kif 12272-12272	A hamstring muscle is typically a part of a leg
(typicalPart Forearm Arm)	Mid-level-ontology.kif 12288-12288	A forearm is typically a part of a arm
(typicalPart UpperArm Arm)	Mid-level-ontology.kif 12293-12293	A upper arm is typically a part of a arm
(typicalPart UpperLeg Leg)	Mid-level-ontology.kif 12298-12298	A upper leg is typically a part of a leg
(typicalPart LowerLeg Leg)	Mid-level-ontology.kif 12303-12303	A lower leg is typically a part of a leg
(typicalPart RibBone Chest)	Mid-level-ontology.kif 12732-12732	A rib is typically a part of a chest
(typicalPart LargeIntestine Intestine)	Mid-level-ontology.kif 13544-13544	A large intestine is typically a part of a intestine
(typicalPart SmallIntestine Intestine)	Mid-level-ontology.kif 13545-13545	A small intestine is typically a part of a intestine
(typicalPart Mouth GastroIntestinalTract)	Mid-level-ontology.kif 13564-13564	A mouth is typically a part of a GI
(typicalPart Esophagus GastroIntestinalTract)	Mid-level-ontology.kif 13565-13565	A esophagus is typically a part of a GI
(typicalPart Stomach GastroIntestinalTract)	Mid-level-ontology.kif 13566-13566	A stomach is typically a part of a GI
(typicalPart Intestine GastroIntestinalTract)	Mid-level-ontology.kif 13567-13567	A intestine is typically a part of a GI
(typicalPart Rectum GastroIntestinalTract)	Mid-level-ontology.kif 13568-13568	A rectum is typically a part of a GI

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: