antecedent

(=>     (and         (property ?X Booting)         (instance ?X Computer))     (exists (?CD ?OS ?DT)         (and             (instance ?CD DigitalData)             (instance ?OS OperatingSystem)             (instance ?DT DataTransfer)             (during                 (WhenFn ?DT)                 (WhenFn ?X))             (destination ?DT ?X)             (part ?CD ?OS)             (objectTransferred ?DT ?CD))))	ComputingBrands.kif 3124-3136	If X the attribute booting up and X is an instance of computer, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of digital data (3) Z is an instance of operating system (4) W is an instance of data transfer (5) the time of existence of W takes place during the time of existence of X (6) W ends up at X (7) Y is a part of Z (8) the object transferred in W is Y
(=>     (and         (holdsDuring ?T             (attribute ?X Booting))         (holdsDuring ?T2             (attribute ?X HostReady))         (equal ?T2             (ImmediateFutureFn                 (WhenFn ?T)))         (instance ?DIS ComputerDisplay)         (connectedEngineeringComponents ?DIS ?X))     (modalAttribute         (exists (?HS)             (and                 (instance ?HS HomeScreen)                 (displayedUpon ?HS ?DIS))) Likely))	ComputingBrands.kif 3138-3152	If booting up is an attribute of X holds during Y, host ready is an attribute of X holds during Z, equal Z and immediately after the time of existence of Y, W is an instance of computer display, and W is connected to X, then the statement there exists V such that V is an instance of home screen and V is displayed on W has the modal force of likely

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

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