TreeView Knowledge Base Browser - AeronauticalEngineer

appearance as argument number 1

(documentation AeronauticalEngineer EnglishLanguage "an Engineer concerned with Designing and Making of Aircrafts")	Biography.kif 201-201
(instance AeronauticalEngineer SkilledOccupation)	Biography.kif 200-200	Aeronautical engineer is an instance of skilled occupation
(subAttribute AeronauticalEngineer Engineer)	Biography.kif 198-198	Aeronautical engineer is a subattribute of engineer

appearance as argument number 2

(termFormat ChineseLanguage AeronauticalEngineer "航空工程师")	domainEnglishFormat.kif 5655-5655
(termFormat ChineseTraditionalLanguage AeronauticalEngineer "航空工程師")	domainEnglishFormat.kif 5654-5654
(termFormat EnglishLanguage AeronauticalEngineer "aeronautical engineer")	domainEnglishFormat.kif 5653-5653

antecedent

(=>
    (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 203-232

If aeronautical engineer is an attribute of an agent,
then there exists a kind of process such that the agent has the skill to do a kind of process and for all another process
- if the other process is an instance of the kind of process,
- then there exist a third process, an entity and the other processT such that the third process is an instance of making and the entity is an instance of aircraft or the entity is an instance of the other processT and a the other processT is typically a part of a aircraft and the entity is a result of the third process and the other process is a subprocess of the third process or there exist a fourth process, the other processLAN,, , the entity and the other processT such that the fourth process is an instance of designing and the entity is an instance of aircraft or the entity is an instance of the other processT and a the other processT is typically a part of a aircraft and the other processLAN is a result of the fourth process and the other processLAN expresses the entity and the other process is a subprocess of the fourth process

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: